Logic programming : formal methods and practical applications /

Logic programming : formal methods and practical applications /

57

Bibliographic Details
Main Authors: Beierle, Christoph, Plumer, Lutz
Format:
Published: Amsterdam : Elsevier, 1995
Subjects:
Logic programming

Similar Items