Catálogo Bibliográfico FCT/UNL catalog

Normal view MARC view ISBD view

Logic programming : proceedings of the north american conference, 1989 : vol. 1 / edited by Ewing L. Lusk, Ross A. Overbeek. - Cambridge - London : The MIT Press , cop. 1989 . - X, 642 p. ; 23 cm.

ISBN 0-262-62064-2

Programação em lógica

LCC QA76.63