The resolution calculus

Alexander Leitsch
Bok · Engelsk · 1997 · Electronic books

Utgitt	Berlin : Springer , c1997
Omfang	VIII, 300 s. : fig.
Emner	(Matematikk) Automatic theorem proving. Bevisføring - Databehandling Matematisk logikk - Databehandling
Sjanger	Electronic books
Dewey	511.3
ISBN	3540618821