41- 60 of 1454 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, Author: Harald Ganzinger
QUICK ADD
Logic Programming and…
by Harald Ganzinger (Editor), David McAllester (Editor), Andrei Voronkov (Editor)
#1705 in Series
Paperback $54.99
Title: Collected Mathematical Papers: Vol. 3 VI Number Theory VII Geometry VIII Topology IX Convergence, Author: A. Ostrowski
QUICK ADD
Collected Mathematical Papers:…
by A. Ostrowski
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Author: Jean-Christophe Filliatre
QUICK ADD
Types for Proofs and Programs:…
by Jean-Christophe Filliatre (Editor), Christine Paulin-Mohring (Editor), Benjamin Werner (Editor)
#3839 in Series
Paperback $54.99
Title: Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Author: Ulrich W. Kulisch
QUICK ADD
Advanced Arithmetic for the…
by Ulrich W. Kulisch
Explore Series
Paperback $54.99
Title: Naming and Believing, Author: G.W. Fitch
QUICK ADD
Naming and Believing
by G.W. Fitch
#36 in Series
Paperback $54.99
Title: Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings, Author: Rahul Jain
QUICK ADD
Theory and Applications of…
by Rahul Jain (Editor), Sanjay Jain (Editor), Frank Stephan (Editor)
#9076 in Series
Paperback $54.99
Title: Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, Author: David Basin
QUICK ADD
Theorem Proving in Higher…
by David Basin (Editor), Burkhart Wolff (Editor)
#2758 in Series
Paperback $54.99
Title: Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings, Author: Craig MacNish
QUICK ADD
Logics in Artificial…
by Craig MacNish (Editor), David Pearce (Editor), Luis M. Pereira (Editor)
#838 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers, Author: Henk Barendregt
QUICK ADD
Types for Proofs and Programs:…
by Henk Barendregt (Editor), Tobias Nipkow (Editor)
#806 in Series
Paperback $54.99
Title: Simple Theories, Author: Frank O. Wagner
QUICK ADD
Simple Theories
by Frank O. Wagner
#503 in Series
Paperback $54.99
Title: Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers, Author: Egon Bïrger
QUICK ADD
Computer Science Logic: 6th…
by Egon Bïrger (Editor), Gerhard Jïger (Editor), Hans Kleine Bïning (Editor), Simone Martini (Editor), Michael M. Richter (Editor)
#702 in Series
Paperback $54.99
Title: Whitehead's Philosophy of Organism, Author: Dorothy Emmet
QUICK ADD
Whitehead's Philosophy of…
by Dorothy Emmet
Paperback $54.99
Title: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings, Author: Bruno Buchberger
QUICK ADD
Artificial Intelligence and…
by Bruno Buchberger (Editor), John A. Campbell (Editor)
#3249 in Series
Paperback $54.99
Title: Science a Road to Wisdom: Collected Philosophical Studies, Author: Evert Willem Beth
QUICK ADD
Science a Road to Wisdom:…
by Evert Willem Beth
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings, Author: Sungdeok Cha
QUICK ADD
Automated Technology for…
by Sungdeok Cha (Editor), Jin-Young Choi (Editor), Moonzoo Kim (Editor), Mahesh Viswanathan (Editor)
#5311 in Series
Paperback $54.99
Title: Deduction Systems, Author: Rolf Socher-Ambrosius
QUICK ADD
Deduction Systems
by Rolf Socher-Ambrosius, Patricia Johann
Explore Series
Paperback $54.99
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings, Author: Uwe Egly
QUICK ADD
Automated Reasoning with…
by Uwe Egly (Editor), Christian G. Fernmüller (Editor)
#2381 in Series
Paperback $54.99
Title: Collected Mathematical Papers: Vol. 4 X Real Function Theory XI Differential Equations XII Differential Transformations, Author: A. Ostrowski
QUICK ADD
Collected Mathematical Papers:…
by A. Ostrowski
Paperback $54.99
Title: The Semantic Foundations of Logic Volume 1: Propositional Logics, Author: R.L. Epstein
QUICK ADD
The Semantic Foundations of…
by R.L. Epstein, Walter Carnielli (With), Itala M. d'Ottaviano (With), Stanislaw Krajewski (With), Roger D. Maddux (With)
#35 in Series
Paperback $54.99
Title: KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Author: Günther Görz
QUICK ADD
KI-96: Advances in Artificial…
by Günther Görz (Editor), Steffen Hölldobler (Editor)
#1137 in Series
Paperback $54.99

Pagination Links