Automated deduction : a basis for applications. I. Foundations

Bok · Engelsk · 1998

Utgitt	Dordrecht : Kluwer Academic , c1998
Emner	Automatic theorem proving Logic, Symbolic and mathematical
ISBN	0792351290. - 0792351320