Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13-16 July 1992
edited by Z. Shi
Bok Engelsk 1992 IFIP TC12/WG12.3 International Workshop on Automated Reasoning
| Utgitt | Amsterdam : North-Holland , 1992
|
|---|---|
| Omfang | xi, 341 s. : fig.
|
| Emner | Artificial intelligence - Congresses
Automatic theorem proving - Congresses kunstig intelligens bevisføring |
| ISBN | 044489876X
|
