Počet záznamů: 1  

First-order logic and automated theorem proving

  1. Fitting, Melvin, 1942-
    First-order logic and automated theorem proving / Melvin Fitting. -- 2nd ed. -- New York ; Berlin ; Heidelberg : Springer Verlag, c1996. -- xvi, 326 s. -- (Graduate texts in computer science). -- Lit.. -- Rejstř. -- ISBN : 0387945938.
    matematická logika. logické systémy. počítačová věda
    510.6:004

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše