Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reason - detaljert visning

Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13-16 July 1992


Utgitt	Amsterdam : North-Holland , 1992
Omfang	xi, 341 s. : fig.
Emner	Artificial intelligence - Congresses Automatic theorem proving - Congresses kunstig intelligens bevisføring
ISBN	044489876X