Logic for problem solving

Szerző: Kowalski, Robert
Megjelenés: 1979

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Megjelenés: 1987
Kapcsolódó cím: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)