01429nam0 22003733i 450 MIL016299720251003044226.0047192784820081006d1991 ||||0itac50 baenggbz01i xxxe z01nPrinciples of automated theorem provingDavid A. DuffyChichester [etc.]Wileyc1991XVIII, 243 p.24 cmWiley professional computingBibliografia: P. [225]-232.001MIL00715232001 Wiley professional computingLogica matematicaFIRCFIC000378E511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Duffy, David A.MILV103019070243321ITIT-00000020081006IT-BN0095 NAP 01SALA DING $MIL0162997Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 DUF.pr 0102 0000007555 VMA A4 1 v.Y 1994022819940228 01Principles of automated theorem proving1382067UNISANNIO