981- 1000 of 1304 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Turning Points in the History of Mathematics, Author: Hardy Grant
QUICK ADD
Turning Points in the History…
by Hardy Grant, Israel Kleiner
Explore Series
Paperback $54.99
Title: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings / Edition 1, Author: Mandayam Srivas
QUICK ADD
Formal Methods in…
by Mandayam Srivas, Albert Camilleri
#1166 in Series
Paperback $54.99
Title: Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings, Author: Sergei Artemov
QUICK ADD
Logical Foundations of…
by Sergei Artemov, Anil Nerode
#11972 in Series
Paperback $54.99
Title: Process, Reality, and the Power of Symbols: Thinking with A.N. Whitehead / Edition 1, Author: M. Code
QUICK ADD
Process, Reality, and the…
by M. Code
Hardcover $54.99
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
QUICK ADD
Advanced Logic for…
by R.E. Grandy
#110 in Series
Paperback $54.99
Title: Reflections on Reasoning / Edition 1, Author: Raymond S. Nickerson
QUICK ADD
Reflections on Reasoning /…
by Raymond S. Nickerson
Paperback $54.99
Title: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, Author: Juliette Kennedy
QUICK ADD
Logic, Language, Information,…
by Juliette Kennedy, Ruy J.G.B. de Queiroz
#10388 in Series
Paperback $54.99
Title: Argumentation Schemes for Presumptive Reasoning / Edition 1, Author: Douglas Walton
QUICK ADD
Argumentation Schemes for…
by Douglas Walton
Explore Series
Paperback $54.99
Title: Theory Reasoning in Connection Calculi / Edition 1, Author: Peter Baumgartner
QUICK ADD
Theory Reasoning in Connection…
by Peter Baumgartner
#1527 in Series
Paperback $54.99
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
QUICK ADD
Algebraic and Logic…
by Helene Kirchner, Giorgio Levi
#632 in Series
Paperback $54.99
Title: Automated Deduction in Equational Logic and Cubic Curves / Edition 1, Author: William McCune
QUICK ADD
Automated Deduction in…
by William McCune, R. Padmanabhan
#1095 in Series
Paperback $54.99
Title: Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, Author: Thomas Schiex
QUICK ADD
Principles and Practice of…
by Thomas Schiex, Simon de Givry
#11802 in Series
Paperback $54.99
Title: Inconsistent Mathematics / Edition 1, Author: C.E. Mortensen
QUICK ADD
Inconsistent Mathematics /…
by C.E. Mortensen
#312 in Series
Hardcover $54.99
Title: Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings / Edition 1, Author: Sergei Artemov
QUICK ADD
Logical Foundations of…
by Sergei Artemov, Anil Nerode
#5407 in Series
Paperback $54.99
Title: Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings / Edition 1, Author: Manuel Kauers
QUICK ADD
Towards Mechanized…
by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
#4573 in Series
Paperback $54.99
Title: Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / Edition 1, Author: Andrea Asperti
QUICK ADD
Mathematical Knowledge…
by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
#3119 in Series
Paperback $54.99
Title: Fuzzy Logic in Artificial Intelligence: IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers / Edition 1, Author: Anca L. Ralescu
QUICK ADD
Fuzzy Logic in Artificial…
by Anca L. Ralescu, James G. Shanahan
#1566 in Series
Paperback $54.99
Title: Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings / Edition 1, Author: Xiao-lu Gao
QUICK ADD
Automated Deduction in…
by Xiao-lu Gao, Dongming Wang, Lu Yang
#1669 in Series
Paperback $54.99
Title: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Edition 1, Author: Franz Baader
QUICK ADD
Automated Deduction - CADE-19:…
by Franz Baader
#2741 in Series
Paperback $54.99
Title: Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / Edition 1, Author: Arlindo L. Oliveira
QUICK ADD
Grammatical Inference:…
by Arlindo L. Oliveira
#1891 in Series
Paperback $54.99

Pagination Links