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

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

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 Deduksjon Vis mer... Logikk Matematisk logikk - Databehandling
ISBN	0387528857. - 3540528857