SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Artificial Intelligence

Volumn 6, Issue 1, 1975, Pages 1-23

Plane geometry theorem proving using forward chaining

(1) Nevins, Arthur J a

a MASSACHUSETTS INSTITUTE OF TECHNOLOGY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

AUTOMATA THEORY;

EID: 0016487133 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(75)90013-2 Document Type: Article

Times cited : (44)

References (16)

1
- 84911502080
- A man-machine theorem proving system
- Stanford, Calif.
- (1973) Proc. Third Int. Joint Conf. on Artificial Intelligence , pp. 56-65
- Bledsoe¹ Bruell²

2
- 0013324980
- Doing arithmetic with diagrams
- Stanford, Calif.
- (1973) Proc. Third Int. Joint Conf. on Artificial Intelligence , pp. 130-138
- Bundy¹

3
- 0012719876
- Realization of a geometry theorem proving machine
- UNESCO, Paris
- (1959) Proc. Int. Conf. on Information Processing , pp. 273-282
- Gelernter¹

4
- 0004242550
- McGraw-Hill, New York
- (1963) Computers and Thought , pp. 134-152
- Feigenbaum¹ Feldman²

5
- 84915525789
- Gelernter, H., Hansen, J. R. and Loveland, D. W. Empirical explorations of the geometry theorem proving machine. Proc. Western Joint Computer Conf., 17, 143–147

6
- 0004242550
- also in, McGraw-Hill, New York
- (1963) Computers and Thought , pp. 153-163
- Feigenbaum¹ Feldman²

7
- 3543148958
- Elementary geometry theorem proving
- Massachusetts Institute of Technology, Cambridge, Mass
- (1973) A.I. Memo No. 280
- Goldstein¹

8
- 11744342586
- Inferential memory as the basis of machines which understand natural language
- E. Feigenbaum, J. Feldman, McGraw-Hill, New York
- (1963) Computers and Thought , pp. 217-233
- Lindsay¹

9
- 0004243597
- Appleton-Century-Crofts, New York
- (1967) Cognitive Psychology
- Neisser¹

10
- 0016118352
- A human oriented logic for automatic theorem proving
- (1974) Journal of the ACM , vol.21 , pp. 603-621
- Nevins¹

11
- 0016485836
- A relaxation approach to splitting in an automatic theorem prover
- (this issue)
- (1975) Artificial Intelligence , vol.6 , pp. 25-39
- Nevins¹

12
- 0002655306
- Report on a general problem solving program
- UNESCO, Paris
- (1959) Proc. Int. Conf. on Information Processing , pp. 256-264
- Newell¹ Shaw² Simon³

13
- 0342293977
- A semantically guided deductive system for automatic theorem proving
- Stanford, Calif.
- (1973) Proc. Third Int. Joint. Conf. on Artificial Intelligence , pp. 41-46
- Reiter¹

14
- 85168417208
- Heuristic search versus exhaustive search
- London
- (1971) Proc. Second Int. Joint Conf. on Artificial Intelligence , pp. 601-607
- Siklossy¹ Marinov²

15
- 84913490384
- Experiments with a multipurpose theorem-proving heuristic program
- (1968) Journal of the ACM , vol.15 , pp. 85-99
- Slagle¹ Bursky²

16
- 3543080989
- Construction heuristics for geometry and a vector algebra representation of geometry
- Massachusetts Institute of Technology, Cambridge, Mass, Project MAC
- (1972) Technical Memorandum 28
- Wong¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.