Logic Programming and Automated Reasoning : 5. International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994. Proceedings

Bibliographic Details

Other Authors:	Pfenning, Frank (Editor)
Format:	Book
Language:	English
Published:	Berlin : Springer-Verlag, 1994
Series:	Lecture notes in computer science
Genre/form:	sborníky konferencí
ISBN:	3-540-58216-9
Subjects:	logické programování
Tags:	Add Tag No Tags, Be the first to tag this record!