Search
1 item
full text unavailable
Theorem-Proving by Computers
Author(s): Kallick, B.Corporate Author(s): IIT Research Inst.
Date of Publication: 1965-01-31
Report number: AFOSR-65-0338
Refine your search
Refine your search
-
Report Availability
-
Tags
-
Date
- 1965 (1)
-
Author
- Kallick, B. (1)
-
Corporate Author