Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Alan Bundy (ed.)
Bok · Engelsk · 1994 International Conference on Automated Deduction

Annen tittel	Automated Deduction — CADE-12
Utgitt	Berlin : Springer , c1994
Omfang	XVI, 848 s. : ill.
Emner	(Matematikk) Automatic theorem proving - Congresses. Logic, Symbolic and mathematical - Congresses. Automatisk deduksjon Vis mer... Bevisføring - Databehandling Matematisk logikk - Databehandling Symbolsk logikk automatisk deduksjon
Dewey	006.3/3
ISBN	0387581561. - 3540581561