Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Isabelle
  • Bestand

Treffer: Isabelle

Titel:
Isabelle : a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow
Verantwortlich:
Paulson, Lawrence C.
Veröffent­licht:
Berlin [u.a.] : Springer, 1994
Umfang:
XVII, 321 S.
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 828
alle Bände anzeigen
RVK-Notation:
ST 300 SS 4000
Schlagworte:
ISBN:
3540582444 ; 0387582444
Lokale Klassifikationen:
tech M 0108 Logik

Zusatz-Informationen

Zusatz-Funktionen