|
|
Bläsius, K. H. and Rollinger, C.--R. and Siekmann, J. H. (1990): Structure and Control of the LILOG Inference System
| Title: |
Structure and Control of the LILOG Inference System |
| Author(s): |
Bläsius, K. H. and Rollinger, C.--R. and Siekmann, J. H. |
| Year: |
1990 |
| Booktitle: |
Sorts and Types in Artificial Intelligence |
| Editor(s): |
Siekmann, J. |
| Number: |
418 |
| Pages: |
165-183 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
