Number of the records: 1
Handbook of satisfiability
Title statement Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh Publication Amsterdam : IOS Press, [2009] Copyright notice date ©2009 Phys.des. xiii, 966 stran : ilustrace ISBN 978-1-58603-929-5 (vázáno) Edition Frontiers in artificial intelligence and applications : ISSN 0922-6389 ; volume 185 Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstřík Another responsib. Biere, Armin, 1967- (editor) Heule, Marijn, 1979- (editor) Maaren, Hans van, 1950- (editor) Walsh, Toby (editor) Subj. Headings algoritmy (programování) computer algorithms * rozhodování decision making * výroková logika propositional calculus Form, Genre příručky handbooks and manuals Conspect 004.4/.6 - Programování. Software UDC 004.421 , 164.1 , 510.633 , (035) Country Nizozemsko Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/1401 (PřF) 3134043770 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M2/1401a (PřF) 3134050277 PřF PřF, Knihovna Date due 30 days M2/1401b (PřF) 3134050278 PřF PřF, Knihovna Date due 30 days
Number of the records: 1