Automated deduction : a basis for applications. III. Applications

Bok · Engelsk · 1998

Utgitt	Dordrecht : Kluwer Academic , c1998
Omfang	xii, 334 s.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Automatisk resonnering Vis mer... Bevisføring Deduksjon
ISBN	0792351312. - 0792351320