8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proce - detaljert visning

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings


Utgitt	Berlin : Springer , 1986
Omfang	IX, 708 s. : fig.
Emner	Logikk Matematisk logikk - Databehandling kunnskapsteknologi logikk bevis
ISBN	0387167803. - 3540167803