Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Springer
|
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Springer
|