Yazar
Tim Hart
20 cilt bulundu.
Cilt sonuçları
The [alpha]-[beta] Heuristic
Daniel James Edwards, Massachusetts Institute of Technology. Artificial Intelligence Laboratory, Tim Hart · Yayınevi bilinmiyor
8 sayfa · 1963
Game theory
A Proposal for a Geometry Theorem Proving Program
Timothy P. Hart, Massachusetts Institute of Technology. Artificial Intelligence Laboratory · Yayınevi bilinmiyor
62 sayfa · 1963
Automatic theorem proving
Simplify
Tim Hart, Massachusetts Institute of Technology. Artificial Intelligence Laboratory · Yayınevi bilinmiyor
5 sayfa · 1961*
Computer programming