Treffer: Handbook of satisfiability

Titel:

Handbook of satisfiability / ed. by Armin Biere ...

Beteiligt:

Biere, Armin (Hrsg.)

Veröffentlicht:

Amsterdam [u.a.] : IOS Press, 2009

Umfang:

XIII, 966 S. : graph. Darst.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Frontiers in artificial intelligence and applications ; 185
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

ISBN:

9781586039295

Zusatz-Informationen