Zobrazeno 1 - 10 of 69 pro vyhledávání: '"SLAGLE, JAMES R."'
2
Dissertation/ Thesis
A heuristic program that solves symbolic integration problems in freshman calculus : symbolic automatic integrator (SAINT)
Autor: Slagle, James R. (James Robert)
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1961.
Includes bibliographical references (leaves 109-110).
by James Robert Slagle
Ph.D.
Externí odkaz: http://hdl.handle.net/1721.1/11997
Zobrazit plný text záznamu
3
Periodical
An Expert System for a Resource Allocation Problem.
Autor: Slagle, James R.1, Hamburger, Henry2,3, Webber, Bonnie
Publikováno v: Communications of the ACM. Sep85, Vol. 28 Issue 9, p994-1004. 11p. 1 Diagram, 2 Graphs.
Zobrazit plný text záznamu
4
Periodical
Experiments with a Deductive Question-Answering Program.
Autor: Gillies, D. B., Slagle, James R.1
Publikováno v: Communications of the ACM. Dec1965, Vol. 8 Issue 12, p792-798. 7p. 3 Diagrams, 1 Chart.
Zobrazit plný text záznamu
5
Periodical
Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.
Autor: Slagle, James R., Norton, Lewis M.
Publikováno v: Communications of the ACM. Nov73, Vol. 16 Issue 11, p682-688. 7p. 1 Diagram, 1 Chart.
Zobrazit plný text záznamu
6
Periodical
Experiments in Automatic Learning for a Multipurpose Heuristic Program.
Autor: Lawson, C. L., Slagle, James R.1, Farrell, Carl D.2
Publikováno v: Communications of the ACM. Feb1971, Vol. 14 Issue 2, p91-99. 9p. 8 Charts.
Zobrazit plný text záznamu
7
Periodical
Application of Game Tree Searching Techniques to Sequential Pattern Recognition.
Autor: Slagle, James R.1, Lee, Richard C. T.1
Publikováno v: Communications of the ACM. Feb1971, Vol. 14 Issue 2, p103-110. 8p. 13 Diagrams.
Zobrazit plný text záznamu
8
Periodical
Experiments with the M & N Tree-Searching Program.
Autor: Slagle, James R., Dixon, John K.
Publikováno v: Communications of the ACM. Mar1970, Vol. 13 Issue 3, p147-159. 9p. 4 Diagrams, 2 Charts.
Zobrazit plný text záznamu
9
Akademický článek
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
Autor: Slagle, James R.
Publikováno v: Journal of the ACM; Oct1974, Vol. 21 Issue 4, p622-642, 21p
Zobrazit plný text záznamu
10
Akademický článek
An Approach for Finding C-Linear Complete Inference Systems.
Autor: Slagle, James R.
Publikováno v: Journal of the ACM; Jul1972, Vol. 19 Issue 3, p496-516, 21p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje