Jednotky: Handbook of satisfiability.

Handbook of satisfiability. Part 1 /

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

Obálka

Přejít na ObalkyKnih.cz

Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.

Popis	Stav	Knihovna	Sbírka	Signatura	Poznámky	Čárový kód
	Dlouhodobá do 2027-07-12	Fakulta informatiky		M666/1		4200519874
	Dostupné Měsíční	Fakulta informatiky		M666/1		4200519878