Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, German - detaljert visning

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings


Utgitt	Berlin : Springer , c1998
Omfang	XIV, 441 s. : ill.
Emner	Bevisføring - Databehandling Matematisk logikk - Databehandling (Matematikk)
ISBN	3540646752