10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings

M. E. Stickel (ed.)
Bok · Språk ikke angitt · 1990 International Conference on Automated Deduction

Annen tittel	CADE-10.
Utgitt	Berlin : Springer , c1990
Omfang	XVI, 688 s. : ill.
Emner	Automatic theorem proving - Congresses Logic, Symbolic and mathematical - Congresses Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Vis mer... Deduksjon Logikk Matematisk logikk - Databehandling
ISBN	0387528857. - 3540528857