Automated theorem proving : theory and practice

Monty Newborn
Bok · Engelsk · 2001 Monroe Newborn

Utgitt	New York : Springer , ©2001
Omfang	XIII, 231 s. : fig. + 1 optisk plate (CD-ROM)
Emner	Automatic theorem proving
ISBN	0387950753