Automated deduction in multiple-valued logics

Reiner Hähnle
Bok · Engelsk · 1993

Utgitt	Oxford : Clarendon Press , 1993
Omfang	IX, 172 s. : fig.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Bevisføring (Matematikk) - Databehandling
ISBN	0198539894