TY  - BOOK
TI  - IJCARI-91: Proceedings of the twelfth international conference on Artificial intelligence 24-30 August, 1991
PY  - 1991///
CY  - Sydney
PB  - International Joint Conference on Artificial Intelligence, 
KW  - Architecture
KW  - Language
KW  - Automated reasoning
N1  - Vol.1
ER  -