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
Model based transformations for quantified Boolean formulas
Dissertationen zur künstlichen Intelligenz : 329 (Alle Bände)
2010
Signatur: TVD2335, P2258

Details

Autor(en) / Beteiligte
Titel
Model based transformations for quantified Boolean formulas
Ist Teil von
Ort / Verlag
[Amsterdam] [u.a.] : IOS Press [u.a.]
Erscheinungsjahr
2010
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Paderborn, Univ., Diss., 2009
Sprache
Englisch
Identifikatoren
ISBN: 9781607505457, 9783898383295
OCLC-Nummer: 699649807, 699649807
Titel-ID: 990013332700106463
Format
XII, 211 S. : graph. Darst.
Systemstelle
TVD
Schlagworte
Boolesche Formel, Horn-Formel, Quantor, Erfüllbarkeitsproblem

Lade weitere Informationen...