Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Andrei Voronkov (ed.)
Bok · Engelsk · 2002 International Conference on Automated Deduction

Annen tittel	Automated Deduction CADE-18
Utgitt	Berlin : Springer , c2002
Omfang	XII, 534 s. : ill.
Emner	Automatic theorem proving Logic, Symbolic and mathematical Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Bevisføring - Databehandling Computer Science Engineering & Applied Sciences Matematisk logikk - Databehandling (Matematikk) Mechanical Engineering - General Mechanical Engineering
Dewey	006.3/33 . - 511.3
ISBN	3540439315