1- 8 of 8 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
QUICK ADD
Automated Reasoning with…
by Didier Galmiche
#1227 in Series
Paperback $54.99
Title: Introduction à la résolution des systèmes polynomiaux / Edition 1, Author: Mohamed Elkadi
QUICK ADD
Introduction à la résolution…
by Mohamed Elkadi, Bernard Mourrain
#59 in Series
Paperback $54.99
Title: Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Edition 1, Author: Roland Backhouse
QUICK ADD
Mathematics of Program…
by Roland Backhouse, Jose Nuno Oliveira
#1837 in Series
Paperback $54.99
Title: Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, Author: Matthew Hague
QUICK ADD
Reachability Problems: 11th…
by Matthew Hague, Igor Potapov
#10506 in Series
Paperback $54.99
Title: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Edition 1, Author: Mark Aagaard
QUICK ADD
Theorem Proving in Higher…
by Mark Aagaard, John Harrison
#1869 in Series
Paperback $54.99
Title: Representation Theory of Finite Groups: Algebra and Arithmetic, Author: Steven H. Weintraub
QUICK ADD
Representation Theory of…
by Steven H. Weintraub
#59 in Series
Hardcover $99.00
Title: Computer Graphics and Geometric Modelling: Implementation & Algorithms / Edition 1, Author: Max K. Agoston
QUICK ADD
Computer Graphics and…
by Max K. Agoston
Hardcover $139.99
Title: Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application / Edition 1, Author: Grzegorz Rozenberg
QUICK ADD
Handbook of Formal Languages:…
by Grzegorz Rozenberg, Arto Salomaa
Hardcover $249.99