Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Isabelle, HOL

Titel:

Isabelle, HOL : a proof assistant for higher order logic / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel

Beteiligt:

Veröffentlicht:

Berlin [u.a.] : Springer, 2002

Umfang:

XIII, 218 S. ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; Vol. 2283
alle Bände anzeigen

Anmerkungen:

Literaturverz. S. 209 - 211

RVK-Notation:

Schlagworte:

ISBN:

3540433767

Zusatz-Informationen