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 12 von 128
Datensatz exportieren als...
BibTeX
Resolution for quantified Boolean formulas
Reihe Informatik : 106
(
Alle Bände
)
Kleine Büning, Hans
Flögel, Andreas
Karpinski, Marek
1992
Signatur:
MQ23918
Details
Autor(en) / Beteiligte
Kleine Büning, Hans
Flögel, Andreas
Karpinski, Marek
Titel
Resolution for quantified Boolean formulas
Ist Teil von
Reihe Informatik : 106
(
Alle Bände
)
Ort / Verlag
Paderborn : Univ. - Gesamthochsch. - Paderborn, Fachbereich Mathematik - Informatik
Erscheinungsjahr
1992
Sprache
–
Identifikatoren
OCLC-Nummer: 257200256, 257200256
Titel-ID: 990006107440106463
Format
14, IV Bl. : graph. Darst.
Systemstelle
TUF
Lade weitere Informationen...