|
| Books 1 - 9 of 9 | Previous | Next |
|
 | | Curves and Surfaces in Geometric Modeling: Theory & Algorithms: Theory and Algorithms (The Morgan Kaufmann Series in Computer Graphics)
by Jean Gallier
Hardcover, 491 Pages, Published 2000 by Morgan Kaufmann
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Geometric Methods and Applications: For Computer Science and Engineering (Texts in Applied Mathematics)
by Jean H. Gallier
Hardcover, 565 Pages, Published 2000 by Springer-Verlag New York Inc.
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
by Jean H. Gallier
Hardcover, 528 Pages, Published 1986 by Longman Higher Education
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic for Computer Science: Foundations of Automatic Theorem Proving (New Ed Edition)
by Jean H. Gallier
Paperback, 528 Pages, Published 1988 by John Wiley & Sons, New Ed Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
by Jean H. Gallier
Hardcover, 528 Pages, Published 1986 by John Wiley & Sons
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Theorem proving using equational matings and rigid E-unification (Technical report. Rutgers University. Dept. of Computer Science. Laboratory for Computer Science Research)
by Jean H Gallier
Unknown Binding, 63 Pages, Published 1988 by Rutgers University, Dept. of Computer Science, Laboratory for Computer Science Research
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Refutation methods for horn clauses with equality based on E-unification
by Jean H. Gallier
Unknown Binding, Published 1986 by Department of Computer and Information Science, Moore School, University of Pennsylvania
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Theorem proving using rigid E-unification: Equational matings (Technical report. University of Pennsylvania. School of Engineering and Applied Science. Dept. of Computer and Information Science)
by Jean H Gallier
Unknown Binding, 51 Pages, Published 1987 by University of Pennsylvania, School of Engineering and Applied Science, Dept. of Computer and Information Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | An algorithm for finding canonical sets of ground rewrite rules in polynomial time (Technical report. Rutgers University. Dept. of Computer Science. Laboratory for Computer Science Research)
by Jean H Gallier
Unknown Binding, 20 Pages, Published 1988 by Rutgers University, Dept. of Computer Science, Laboratory for Computer Science Research
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 9 of 9 | Previous | Next |