| | Books 1 - 3 of 3 | Previous | Next | 
|  | | Automatic Differentiation of Algorithms: From Simulation to Optimization (Har/Cdr Edition)
by George Corliss (Editor), Christele Faure (Editor), Andreas Griewank (Editor), Laurent Hascoet (Editor), Uwe Naumann (Editor)
Hardcover, 459 Pages, Published 2002 by Springer-Verlag New York Inc., Har/Cdr Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Un constructeur d'arbres de preuve dirige par des tactiques =: A tactic-driven system for building proofs (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)
by Laurent Hascoët
Unknown Binding, 23 Pages, Published 1987 by Institut National de Recherche en Informatique et en Automatique
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Partial evaluation with inference rules =: Evaluation partielle de regles d'inference (Rapports de recherche. Institut National de Recherche en Informatique et en Automatique)
by Laurent Hascoët
Unknown Binding, Published 1988 by Institut National de Recherche en Informatique et en Automatique
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 3 of 3 | Previous | Next |
|