Certified Programming with...
Adam Chlipala
Buy from $65.02
|
Isabelle: A Generic Theorem...
Lawrence C Paulson,
T Nipkow (Contributions by)
Buy from $51.38
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $25.95
|
Computational Logic and Proof...
Georg Gottlob (Editor),
Alexander Leitsch (Editor)
Buy from $51.65
|
Implementing Mathematics with...
R L Constable
Buy from $10.38
|
First-Order Logic and...
Melvin Fitting
Buy from $93.93
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy from $51.65
|
Diagrammatic Reasoning:...
Janice Glasgow (Editor),
N Hari Narayanan (Editor)
Buy from $5.00
|
Automated Reasoning with...
G Goos (Editor),
J Hartmanis (Editor)
Buy from $113.11
|
Automated Theorem Proving:...
Monty Newborn
Buy from $122.11
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy from $4.99
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from $26.90
|
Automated Deduction - Cade-11...
Deepak Kapur (Editor)
Buy from $88.31
|
Automated Theorem Proving
Wolfgang Bibel
Buy from $103.32
|
Lectures on Proof...
Ernst W Mayr (Editor),
Hans Jürgen Prömel (Editor)
Buy from $51.65
|
Automated Deduction in...
William McCune,
R Padmanabhan
Buy from $27.53
|
Automated Reasoning: 33 Basic...
Larry Wos
Buy from $12.34
|
Mathematical Reasoning with...
Mateja Jamnik
Buy from $22.99
|
Automated Reasoning:...
Larry Wos
Buy from $3.48
|
The Computer Modeling of...
Alan Bundy
Buy from $2.82
|
A Many-Sorted Calculus Based...
Christoph Walther
Buy from $18.89
eBook from $31.95
|
Mechanical Theorem Proving in...
Wen-Tsun Wu
Buy from $33.15
|
Automated Reasoning:...
Larry Wos
Buy from $14.00
|
From Logic Design to Logic...
Dominique Snyers
Buy from $5.01
|
