There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-71069-1

ISBN (Electronic): 978-3-540-71070-7

Publication date (Print): 2008

DOI: 10.1007/978-3-540-71070-7

SO-VID: 6d9f4dd4-f2c8-4d5e-b09d-a41c24fffb42

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

Machine Learning in Proof General: Interfacing Interfaces
Authors: , ,
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Authors: Stefan Mitsch, André Platzer
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction
Authors: Shinnosuke Mizutani, Naoki Nishida

See all cited by

Automated Reasoning

Read this book at