A computer program for Presburger's algorithm

Feb-1-1957–Classics/files/AI/aitopics-pubs/69887.xml

In Proving Theorems as Done by Man, Logician, or Machine, pp. 215-233. Proc. Summer Institute for Symbolic Logic

computer program, information management, presburger, (1 more...)

Feb-1-1957

Technology:
- Information Technology
  - Artificial Intelligence (0.40)
  - Information Management (0.40)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found