Automated deduction : a basis for applications. II. Calculi and methods

Bok · Engelsk · 1998

Utgitt	Dordrecht : Kluwer Academic , c1998
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk resonnering Bevisføring Deduksjon
ISBN	0792351304. - 0792351320