Number of the records: 1
The classical decision problem
Title statement The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich Personal name Borger, Egon (author) Issue data Berlin ; Heidelberg ; New York : Springer, 2001 Phys.des. x, 482 s. ISBN 3540423249 Edition Universitext Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Grädel, Erich, 1958- (author) Gurevich, Yuri, 1940- (author) Subj. Headings funkcionální analýza functional analysis * umělá inteligence artificial intelligence * matematická logika mathematical logic * řešení problémů problem solving * počítačová věda computer science Form, Genre učebnice vysokých škol textbooks (higher) UDC 004.8 , 510.6:004 , 517.98 Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/1383 (PřF) 3134015797 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1