The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy new from $46.57
|
Certified Programming with...
Adam Chlipala
Buy new from $76.25
|
First-Order Logic and...
Melvin Fitting
Buy new from $102.93
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy new from $60.65
eBook from $16.50
|
Implementing Mathematics with...
R L Constable
Buy new from $19.38
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char Lee
Buy new from $148.36
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy new from $81.17
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from $60.65
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy new from $60.65
|
Automated Theorem Proving:...
Monty Newborn
Buy new from $131.11
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $60.65
|
Compositionality: The...
Willem-Paul de Roever (Editor),
Hans Langmaack (Editor)
Buy new from $112.32
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy new from $60.65
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy new from $112.32
|
Automated Theorem Proving
Wolfgang Bibel
Buy new from $107.58
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy new from $60.65
|
Lectures on Proof...
Ernst W Mayr (Editor),
Hans Jürgen Prömel (Editor)
Buy new from $60.65
|
Automated Reasoning: 33 Basic...
Larry Wos
Buy new from $105.67
|
Proof in VDM: A Practitioner...
Juan C Bicarregui,
Dr. John Fitzgerald
Buy new from $60.65
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy new from $112.32
|
The Computer Modeling of...
Alan Bundy
Buy new from $52.21
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy new from $87.90
eBook from $31.95
|
Mechanical Theorem Proving in...
Wen-Tsun Wu
Buy new from $68.41
|
Mathematical Reasoning with...
Mateja Jamnik
Buy new from $35.37
|
