Predicate logic as a programming language
収録刊行物
-
- Information Processing, 74
-
Information Processing, 74 1974
North-Holland
Information Processing, 74 1974
North-Holland