Back to search
The fortran deductive system
Data up to Jan 2025
Published1969
Citations5
References5
Total Citations Per Year
Abstract
References (5)
Computer Simulation of Human Thinking
1961 • 271 citations
High-Speed Automatic Analysis of Biomedical Pictures
1964 • 193 citations
A Formal Deductive Problem-Solving System
1968 • 32 citations
Mathematical Logic for the Schools
1967 • 7 citations
Programming and utilization of digital computers
1963 • 3 citations
Cited By (0)
Loading...