Number of the records: 1  

The classical decision problem

  1. Title statementThe classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich
    Personal name Borger, Egon (author)
    Issue dataBerlin ; Heidelberg ; New York : Springer, 2001
    Phys.des.x, 482 s.
    ISBN3540423249
    Edition Universitext
    Internal Bibliographies/Indexes NoteObsahuje 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
    CountryNěmecko
    Languageangličtina
    Document kindBooks
    Call numberBarcodeLocationSublocationInfo
    M1/1383 (PřF)3134015797PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only