UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 20 von 65
Datensatz exportieren als...
BibTeX
Isabelle/HOL : A Proof Assistant for Higher-Order Logic [Elektronische Ressource]
Nipkow, Tobias
Wenzel, Markus
Paulson, Lawrence C
2002
Volltextzugriff (PDF)
Details
Autor(en) / Beteiligte
Nipkow, Tobias
Wenzel, Markus
Paulson, Lawrence C
Titel
Isabelle/HOL : A Proof Assistant for Higher-Order Logic [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2002
Sprache
Englisch
Identifikatoren
ISBN: 9783540459491
OCLC-Nummer: 1075456279, 1075456279
Titel-ID: 990184227340206441
Format
–
Schlagworte
HOL
,
Isabelle
,
Funktionale Programmierung
,
Formale Methode
,
Computer science
,
Software engineering
,
Logic design
,
Artificial intelligence