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