Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, F - detaljert visning

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Medvirkende	Baader, Franz

Utgitt	Berlin : Springer , c2003
Omfang	XII, 502 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring Bevisføring - Databehandling (Matematikk) Matematisk logikk - Databehandling
ISBN	3540405593