Number of the records: 1  

First-order logic and automated theorem proving

  1.   Borrow
    Title statementFirst-order logic and automated theorem proving / Melvin Fitting
    Personal name Fitting, Melvin, 1942- (author)
    Edition statement2nd ed.
    Issue dataNew York ; Berlin ; Heidelberg : Springer Verlag, c1996
    Phys.des.xvi, 326 s.
    ISBN0387945938
    Edition Graduate texts in computer science
    NoteLit.
    Rejstř.
    Subj. Headings matematická logika mathematical logic * logické systémy logical systems * počítačová věda computer science
    UDC 510.6:004
    CountryNěmecko ; Spojené státy americké
    Languageangličtina
    Document kindBooks
    View book information on page www.obalkyknih.cz

    book

      Borrow
    Call numberBarcodeLocationSublocationInfo
    M2/112 (PřF)3134017331PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all