Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Szerző:
Frank Pfenning
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 305
Ft
This volume presents the proceedings of the 5th International Conference on Logic Programming and Au...