Popis: Handbook of satisfiability.

Uloženo v:

Podrobná bibliografie
Další autoři:	Biere, Armin, 1967- (Editor), Heule, Marijn, 1979- (Editor), Maaren, Hans van, 1950- (Editor), Walsh, Toby (Editor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Amsterdam : IOS Press, [2021]
Vydání:	Second edition
Edice:	Frontiers in artificial intelligence and applications ; volume 336
Témata:	kombinatorika algebraická logika algoritmy (programování) programování algebra výroková logika logika matematická logika mathematical logic combinatorics computer algorithms programming algebraic logic propositional calculus logic příručky handbooks and manuals

Přejít na ObalkyKnih.cz

Popis
Popis jednotky:	Part 1 i 2 mají stejné ISBN
Fyzický popis:	xvii, 729 stran : ilustrace
Bibliografie:	Obsahuje bibliografii a rejstřík
ISBN:	978-1-64368-160-3