Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
D. Kapur (ed.)
Bok Engelsk 1992 International Conference on Automated Deduction
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
|