Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Springer
|
| Φυσική περιγραφή: | x, 344 p. 24 cm. |
|---|---|
| ISBN: | 3-540-58216-9 0-387-58216-9 |