Icdt'86
Publisher: Springer
Published: December 1986
Language: eng
Number of pages: 444
ISBN-13: 9780387171876
First sentence: Programming in logic has been a fundamental theme in Computer Science theory and practice, ever since their early days, and is in large part motivated by the elegant and precise qualities of mathematical logic.
Notes: Lecture Notes in Economics and Mathematical Systems