1- 20 of 897 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings, Author: Fabrice Kordon
QUICK ADD
Application and Theory of…
by Fabrice Kordon, Daniel Moldt
#9698 in Series
Paperback $54.99
Title: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, Author: Mauricio Ayala-Rincón
QUICK ADD
Interactive Theorem Proving:…
by Mauricio Ayala-Rincón, César A. Muñoz
#10499 in Series
Paperback $54.99
Title: Prime-Detecting Sieves (LMS-33), Author: Glyn Harman
QUICK ADD
Prime-Detecting Sieves (LMS-33…
by Glyn Harman
#1 in Series
Paperback $88.00
Title: Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Author: Jean Goubault-Larrecq
QUICK ADD
Foundations of Software…
by Jean Goubault-Larrecq, Barbara König
#12077 in Series
Paperback $49.99
Title: Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings, Author: Uli Fahrenberg
QUICK ADD
Relational and Algebraic…
by Uli Fahrenberg, Peter Jipsen, Michael Winter
#12062 in Series
Paperback $54.99
Title: Mathematische Modelle des Kontinuums, Author: Ernst Kleinert
QUICK ADD
Mathematische Modelle des…
by Ernst Kleinert
Paperback $34.99
Title: The Logical Must: Wittgenstein on Logic, Author: Penelope Maddy
QUICK ADD
The Logical Must: Wittgenstein…
by Penelope Maddy
Paperback $40.99
Title: Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, Author: Andreas Herzig
QUICK ADD
Foundations of Information and…
by Andreas Herzig, Juha Kontinen
#12012 in Series
Paperback $54.99
Title: Diagonalization in Formal Mathematics, Author: Paulo Guilherme Santos
QUICK ADD
Diagonalization in Formal…
by Paulo Guilherme Santos
Explore 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: The Logical Foundations of Scientific Theories: Languages, Structures, and Models / Edition 1, Author: Decio Krause
QUICK ADD
The Logical Foundations of…
by Decio Krause, Jonas R.B. Arenhart
Explore Series
Paperback $56.99
Title: Reflective Equilibrium and the Principles of Logical Analysis: Understanding the Laws of Logic / Edition 1, Author: Jaroslav Peregrin
QUICK ADD
Reflective Equilibrium and the…
by Jaroslav Peregrin, Vladimír Svoboda
Explore Series
Paperback $56.99
Title: Arabic Logic from al-Farabi to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics, Author: Saloua Chatti
QUICK ADD
Arabic Logic from al-Farabi to…
by Saloua Chatti
Explore Series
Paperback $99.99
Title: Beyond Einstein: Perspectives on Geometry, Gravitation, and Cosmology in the Twentieth Century, Author: David E. Rowe
QUICK ADD
Beyond Einstein: Perspectives…
by David E. Rowe, Tilman Sauer, Scott A. Walter
#14 in Series
Paperback $169.99
Title: Current Issues and Enduring Questions: A Guide to Critical Thinking and Argument, with Readings / Edition 12, Author: Sylvan Barnet
QUICK ADD
Current Issues and Enduring…
by Sylvan Barnet, Hugo Bedau, John O'Hara
Paperback $125.75
Title: The Incompleteness Phenomenon / Edition 1, Author: Martin Goldstern
QUICK ADD
The Incompleteness Phenomenon …
by Martin Goldstern, Haim Judah
Paperback $86.99
Title: Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, Author: Brijesh Dongol
QUICK ADD
Formal Methods Teaching: Third…
by Brijesh Dongol, Luigia Petre, Graeme Smith
#11758 in Series
Paperback $54.99
Title: Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, Author: Patrick Blackburn
QUICK ADD
Logic, Rationality, and…
by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
#11813 in Series
Paperback $54.99
Title: Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings, Author: Paul Fodor
QUICK ADD
Rules and Reasoning: Third…
by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
#11784 in Series
Paperback $54.99
Title: Polynomial Completeness in Algebraic Systems / Edition 1, Author: Kalle Kaarli
QUICK ADD
Polynomial Completeness in…
by Kalle Kaarli, Alden F. Pixley
Paperback $84.99

Pagination Links