Normale Ansicht MARC ISBD

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

Von:

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: Tutorial | ; 228300 | Lecture notes in computer science ; 2283Verlag: Berlin Heidelberg [u.a.] Springer 2002Beschreibung: XIII, 218 S. 24 cmInhaltstyp:

Medientyp:

Datenträgertyp:

ISBN:

Schlagwörter: Genre/Form:

Andere physische Formen: Online-Ausg.: Isabelle/HOLLOC-Klassifikation:

Andere Klassifikation:

Online-Ressourcen:

Bearbeitungsvermerk:

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 2283 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000176383

Zurück								Weiter
Zurück	LNCS 2281 Progress in discovery science final report of the Japanese discovery science project	LNCS 2282 Extraction and exploitation of intensional knowledge from heterogeneous information sources semi-automatic approaches and tools	LNCS 2282 Next generation information technologies and systems 5th international workshop; proceedings	LNCS 2283 Isabelle/HOL a proof assistant for higher-order logic	LNCS 2284 Foundations of information and knowledge systems second international symposium, Salzau Castle, Germany, February 20 - 23, 2002 ; proceedings	LNCS 2285 STACS 2002 proceedings	LNCS 2286 Theoretical informatics 5th Latin American Symposium, Cancun, Mexico, April 3 - 6, 2002 ; proceedings	Weiter

Literaturverz. S. [209] - 211

Nipkow, Tobias, 1958 - : Isabelle/HOL

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31