Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
Berlin [u.a.]: Springer, 1994
Online
Sammelwerk, Elektronische Ressource
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
|
---|---|
Autor/in / Beteiligte Person: | Pfenning, Frank |
Link: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1994 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540582168; 9783540485735 |
DOI: | 10.1007/3-540-58216-9 |
Sonstiges: |
|