Proof in VDM: Case Studies
Juan C Bicarregui (Editor)
Buy from $63.93
|
The Little Prover
Daniel P Friedman,
Carl Eastlund
Buy from $31.41
eBook from $28.99
|
Logic Programming and...
A Voronkov
Buy from $60.65
|
Certified Programming with...
Adam Chlipala
Buy from $77.44
|
Isabelle a generic theorem...
Paulson
Buy from $60.65
|
Mathematics Mechanization:...
Wu Wen-Tsun
Buy from $85.63
|
Symbolic Logic and Mechanical...
Chin-Liang Chang,
Richard Char-Tung Lee
Buy from $27.00
|
Handbook of Automated...
Alan Robinson (Editor),
A Voronkov
Buy from $241.71
eBook from $505.00
|
Automated Mathematical...
Hantao Zhang (Editor)
Buy from $81.61
|
Artificial Intelligence and...
Jacques Fleuriot (Editor),
Dongming Wang (Editor)
Buy from $46.17
eBook from $16.50
|
First-Order Logic and...
Melvin Fitting
Buy from $78.30
|
Automated theorem proving
Wolfgang Bibel
Buy from $49.17
|
Implementing Mathematics with...
R L Constable
Buy from $19.38
|
Automated Development of...
Art Quaife
Buy from $171.53
|
Automation of Reasoning 2:...
Jorg H Siekmann
Buy from $92.72
|
Theory Reasoning in...
Peter Baumgartner
Buy from $60.65
|
Handbook of Automated...
J Alan Robinson (Editor),
Andrei Voronkov (Editor)
Buy from $255.58
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from $91.36
|
Types for proofs and programs...
Berardi,
Coppo
Buy from $93.99
|
Logic for Computer Science:...
Jean H Gallier
Buy from $22.84
|
Principles of Automated...
David A Duffy
Buy from $302.01
|
Automated Theorem Proving: A...
Donald W Loveland
Buy from $186.89
|
