The early years of logic programming

Feb-1-1988–Classics

CACM, 31, 38â43.

early year, logic programming

Feb-1-1988

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.40)