Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, - detaljert visning

Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings


Utgitt	Berlin : Springer , c1996
Omfang	XV, 764 s. : ill.
Emner	Bevisføring - Databehandling Matematisk logikk - Databehandling (Matematikk) automatisert deduksjon bevisføring logikk
ISBN	3540615113