Automated deduction in classical and non-classical logics : selected papers

Ricardo Caferra, Gernot Salzer (eds.)
Bok · Engelsk · 2000

Utgitt	Berlin : Springer , c2000
Omfang	VIII, 297 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Computer Science Engineering & Applied Sciences Kunstig intelligens
Dewey	006.3/33
ISBN	3540671900