1- 20 of 609 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: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability, Author: Rod Downey
QUICK ADD
A Hierarchy of Turing Degrees:…
by Rod Downey, Noam Greenberg
#206 in Series
Paperback $88.00
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: 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: 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: 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: 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 from $97.80 $125.75 Current price is $97.80, Original price is $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: Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook / Edition 1, Author: Svetlana N. Yanushkevich
QUICK ADD
Decision Diagram Techniques…
by Svetlana N. Yanushkevich, D. Michael Miller, Vlad P. Shmerko, Radomir S. Stankovic
Paperback $86.99
Title: Logic of Arithmetic / Edition 1, Author: Walter Felscher
QUICK ADD
Logic of Arithmetic / Edition…
by Walter Felscher
#3 in Series
Paperback $84.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
Title: Lectures on Mathematical Logic, Volume II / Edition 1, Author: Walter Felscher
QUICK ADD
Lectures on Mathematical Logic…
by Walter Felscher
#2 in Series
Paperback $84.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

Pagination Links