Author:
Miglioli Pierangelo,Moscato Ugo,Ornaghi Mario
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Brauer W. (ed.)-Net Theory and Applications-LNCS,Springer Verlag,1980.
2. Gallaire H., Minker J., Nicolas J.M.-Logic and Databases: A deductive approach-Computing Surveys 16, 2, 1984.
3. Hayashi S., Nakano H.-PX: a computational logic-MIT Press, 1989.
4. Kleene S.-Introduction to metamathematics-Wolters-Noordhoff, 1952.
5. Lloyd J. W.-Foundations of logic programming-Springer Verlag, 1987.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献