Formal description of program structure and semantics in first order logic

Feb-1-1969–Classics/files/AI/aitopics-pubs/69755.xml

Machine Intelligence 5. B. Meltzer & D. Michie (eds.), 78-98. Edinburgh: Edinburgh University Press.

artificial intelligence, first order logic, logic programming, (2 more...)

Feb-1-1969

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

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found