Applications of theorem-proving to problem-solving
In Walker, D. E. & Norton, L. N. (eds. ), IJCAI 1969: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, May 7-9, 1969 Washington, D. C., pp. 219-39.
Feb-1-1969
- Country:
- Europe > United Kingdom
- Scotland (0.14)
- North America > United States
- California (0.14)
- District of Columbia > Washington (0.24)
- Ohio (0.14)
- Europe > United Kingdom
- Technology: