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 11 von 23
Datensatz exportieren als...
BibTeX
Types in logic programming
Logic programming
Pfenning, Frank
[Herausgeber]
1992
Signatur:
TVM2924
Details
Autor(en) / Beteiligte
Pfenning, Frank
[Herausgeber]
Titel
Types in logic programming
Ist Teil von
Logic programming
Ort / Verlag
Cambridge, Mass. [u.a.] : MIT Press
Erscheinungsjahr
1992
Sprache
Englisch
Identifikatoren
ISBN: 0262161311
OCLC-Nummer: 246554271, 246554271
Titel-ID: 990005992290106463
Format
XVIII, 357 S.
Systemstelle
TVM
Schlagworte
Logische Programmierung
,
Typentheorie
Lade weitere Informationen...