Isabelle

a generic theorem prover

Verfasser / Beitragende:
Lawrence C. Paulson ; with contributions by Tobias Nipkow
Ort, Verlag, Jahr:
Berlin, New York : Springer-Verlag, 1994
Beschreibung:
1 online resource (xvii, 321 p.) : ill
Format:
Buch (online)
Online Zugang:
Uni Bern: Volltext
ID: 404751539