Duffy, David A.
Principles of automated theorem proving / David A. Duffy. - Chichester, UK : John Wiley & Sons , cop. 1991 . - XVIII, 243 p. : il. ; 24 cm.
ISBN 0-471-92784-8
Demonstração de teoremas
LCC QA76.9
Principles of automated theorem proving / David A. Duffy. - Chichester, UK : John Wiley & Sons , cop. 1991 . - XVIII, 243 p. : il. ; 24 cm.
ISBN 0-471-92784-8
Demonstração de teoremas
LCC QA76.9