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
Universitätsbibliothek
Katalog
Details
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...
Datensatz exportieren als...
BibTeX
On subclasses of minimal unsatisfiable formulas
Reihe Informatik : 190
(
Alle Bände
)
Kleine Büning, Hans
1997
Signatur:
MQ23997
Details
Autor(en) / Beteiligte
Kleine Büning, Hans
Titel
On subclasses of minimal unsatisfiable formulas
Ist Teil von
Reihe Informatik : 190
(
Alle Bände
)
Ort / Verlag
Paderborn : Univ.-Gesamthochsch.-Paderborn, Fachbereich Mathematik-Informatik
Erscheinungsjahr
1997
Sprache
–
Identifikatoren
OCLC-Nummer: 1068494456, 1068494456
Titel-ID: 990007835780106463
Format
19 S.
Systemstelle
TUF
Lade weitere Informationen...