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
Details
Datensatz exportieren als...
BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199
(
Alle Bände
)
Beckstein, Clemens
1988
Signatur:
TVM2225
Details
Autor(en) / Beteiligte
Beckstein, Clemens
Titel
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Ist Teil von
Informatik-Fachberichte : 199
(
Alle Bände
)
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1988
Beschreibungen/Notizen
Erlangen, Nürnberg, Univ., Diss., 1988
Sprache
Deutsch
Identifikatoren
ISBN: 3540507205, 0387507205
OCLC-Nummer: 1067733048, 1067733048
Titel-ID: 990004892310106463
Format
IX, 246 S.
Systemstelle
TVM
Schlagworte
Logische Programmierung
Lade weitere Informationen...