Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Sprin - detaljert visning

Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings


Utgitt	Berlin : Springer , c1992
Omfang	XV, 793 s. : ill.
Emner	Automatic theorem proving - Congresses Logic, Symbolic and mathematical - Congresses Matematisk logikk - Databehandling edb matematikk kunstig intelligens deduksjon bevisføring automatisk bevisteori
ISBN	0387556028. - 3540556028