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...
Zur Ergebnisliste
Ergebnis 9 von 141
    Datensatz exportieren als...
  • BibTeX
Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996
DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)
1997
Signatur: TTQ961883

Details

Autor(en) / Beteiligte
Titel
Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996
Ist Teil von
Ort / Verlag
Providence, RI : American Mathematical Society
Erscheinungsjahr
1997
Sprache
–
Identifikatoren
ISBN: 0821804790
OCLC-Nummer: 246904537, 246904537
Titel-ID: 990007182640106463
Format
XV, 724 S. : graph. Darst.
Systemstelle
TVA, TTQ
Schlagworte
Erfüllbarkeitsproblem

Lade weitere Informationen...