Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Robinson JA (1965) A machine oriented logic based on the resolution principle. Journal of the Association for Computing Machinery 12:23–41
2. Richter MM (1978) Logikkalküle. Teubner, Stuttgart, S 185
3. Schöning U (1987) Logik für Informatiker. B.I. Wissenschaftsverlag, Mannheim, S 85
4. Kowalski B (1979) Logic for Problem Solving. North-Holland: New York.
5. Hanus M (1986) Problemlösen in PROLOG. Vieweg+Teubner, Stuttgart