Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, - detaljert visning

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings


Utgitt	Berlin : Springer , c1999
Omfang	XIV, 428 s. : ill.
Emner	Automatisk bevisføring Bevisføring - Databehandling (Matematikk) Matematisk logikk - Databehandling
ISBN	3540662227