981- 1000 of 1303 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications / Edition 1, Author: Wolfgang Bibel
QUICK ADD
Automated Deduction - A Basis…
by Wolfgang Bibel, P.H. Schmitt
#10 in Series
Hardcover $169.99
Title: A Structural Account of Mathematics, Author: Charles S. Chihara
QUICK ADD
A Structural Account of…
by Charles S. Chihara
Paperback $64.00
Title: Recursion on the Countable Functionals / Edition 1, Author: D. Normann
QUICK ADD
Recursion on the Countable…
by D. Normann
#811 in Series
Paperback $39.95
Title: Lesniewski's Systems Protothetic / Edition 1, Author: Jan J.T. Srzednicki
QUICK ADD
Lesniewski's Systems…
by Jan J.T. Srzednicki, Z. Stachniak
#54 in Series
Hardcover $219.99
Title: The Parametric Lambda Calculus: A Metamodel for Computation / Edition 1, Author: Simona Ronchi Della Rocca
QUICK ADD
The Parametric Lambda Calculus…
by Simona Ronchi Della Rocca, Luca Paolini
Explore Series
Paperback $54.99
Title: Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Author: John Hooker
QUICK ADD
Principles and Practice of…
by John Hooker
#11008 in Series
Paperback $109.99
Title: Categories for Types, Author: Roy L. Crole
QUICK ADD
Categories for Types
by Roy L. Crole
Explore Series
Hardcover $200.00
Title: Theory of Logical Calculi: Basic Theory of Consequence Operations / Edition 1, Author: Ryszard Wójcicki
QUICK ADD
Theory of Logical Calculi:…
by Ryszard Wójcicki
#199 in Series
Hardcover $329.99
Title: Truthlikeness / Edition 1, Author: I. Niiniluoto
QUICK ADD
Truthlikeness / Edition 1
by I. Niiniluoto
#185 in Series
Hardcover $239.00
Title: Consensus Under Fuzziness / Edition 1, Author: J. Kacprzyk
QUICK ADD
Consensus Under Fuzziness /…
by J. Kacprzyk, H. Nurmi, Mario Fedrizzi
#10 in Series
Hardcover $169.99
Title: Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Author: Carsten Lutz
QUICK ADD
Description Logic, Theory…
by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
#11560 in Series
Paperback $54.99
Title: Logic Primer, second edition / Edition 2, Author: Colin Allen
QUICK ADD
Logic Primer, second edition /…
by Colin Allen, Michael Hand
Explore Series
Paperback $35.00
Title: Kurt Gödel and the Foundations of Mathematics: Horizons of Truth, Author: Matthias Baaz
QUICK ADD
Kurt Gödel and the Foundations…
by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Paperback $80.00
Title: Philosophy of Logic: An Anthology / Edition 1, Author: Dale Jacquette
QUICK ADD
Philosophy of Logic: An…
by Dale Jacquette
#14 in Series
Hardcover $178.75
Title: An Introduction to Fuzzy Logic and Fuzzy Sets / Edition 1, Author: James J. Buckley
QUICK ADD
An Introduction to Fuzzy Logic…
by James J. Buckley, Esfandiar Eslami
#13 in Series
Paperback $69.99
Title: Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, Author: Alexander S. Kechris
QUICK ADD
Ordinal Definability and…
by Alexander S. Kechris, Benedikt Löwe, John R. Steel
#43 in Series
Hardcover $205.00
Title: Intentionality, Sense and the Mind / Edition 1, Author: M.J. Harney
QUICK ADD
Intentionality, Sense and the…
by M.J. Harney
#94 in Series
Paperback $169.99
Title: Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Author: J. Christopher Beck
QUICK ADD
Principles and Practice of…
by J. Christopher Beck
#10416 in Series
Paperback $54.99
Title: Reasoning about Uncertainty, second edition / Edition 2, Author: Joseph Y. Halpern
QUICK ADD
Reasoning about Uncertainty,…
by Joseph Y. Halpern
Explore Series
Paperback $65.00
Title: Automated Theorem Proving in Software Engineering / Edition 1, Author: Johann M. Schumann
QUICK ADD
Automated Theorem Proving in…
by Johann M. Schumann, D. Loveland
Paperback $54.99

Pagination Links