7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proce - detaljert visning

7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings


Utgitt	Berlin : Springer , 1984
Omfang	vi, 508 s. : fig.
Emner	Matematisk logikk - Databehandling logikk kunstig intelligens beviser symbolsk logikk kongresser bevis-teori deduksjon
ISBN	0387960228. - 3540960228