Published in

9th International Conference on Automated Deduction, p. 772-773

DOI: 10.1007/bfb0012891

Links

Tools

Export citation

Search in Google Scholar

Isabelle: The next seven hundred theorem provers

Journal article published in 2005 by Lawrence C. Paulson
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Upload
Green circle
Postprint: archiving allowed
Upload
Red circle
Published version: archiving forbidden
Policy details
Data provided by SHERPA/RoMEO

Abstract

Without Abstract