Buch
Amsterdam [u.a.] :IOS Press,
Titel:
Handbook of satisfiability /; 185
Beteiligte Person(en):
Biere, Armin
Verlag:
Amsterdam [u.a.] :IOS Press,
Erscheinungsjahr:
2009
Seiten:
XIII, 966 S. :
,
graph. Darst.
Serie:
Frontiers in artificial intelligence and applications 185
ISBN:
978-1-586-03929-5
Materialart:
Buch
Sprache:
Englisch
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |