Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Pfenning Frank
Συγγραφή απο Οργανισμό/Αρχή: LPAR
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Springer
Περιγραφή
Φυσική περιγραφή:x, 344 p. 24 cm.
ISBN:3-540-58216-9
0-387-58216-9