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

Franz Baader (ed.)
Bok · Engelsk · 2003 International Conference on Automated Deduction

Annen tittel	Automated Deduction - CADE-19
Medvirkende	Baader, Franz,
Utgitt	Berlin : Springer , c2003
Omfang	XII, 502 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Bevisføring - Databehandling (Matematikk) Computer Science Engineering & Applied Sciences Matematisk logikk - Databehandling
Dewey	006.3
ISBN	3540405593