Automated reasoning proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
Saved in:
| Other Authors: | |
|---|---|
| Format: | Unknown |
| Published: |
Amsterdam
North-Holland
1992
|
| Series: | IFIP transactions.
A-19 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag 
Automated reasoning 33 basic research problems
Decentralized A.I. 2 proceedings of the Second European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Saint Quentin en Yvelines, France, August 13-16, 1990
