From logic design to logic programming theorem proving techniques and P-functions
Dominique Snyers 1959- André Thayse 1940-
Berlin New York Springer-Verlag c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.271 ex.1 ) e outros locais(Acessar)