SCOPUS 정보 검색 플랫폼

Volumn 28, Issue 3, 2002, Pages 321-336

Autarkic computations in formal proofs

Author keywords

Autarkic computation; Computer algebra; Formal proof; Proof development

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SCIENCE; FORMAL LANGUAGES; MATHEMATICAL TECHNIQUES; PROGRAM PROCESSORS; THEOREM PROVING;

AUTARKIC COMPUTATIONS; COMPUTER ALGEBRA; FORMAL PROOFS;

KNOWLEDGE BASED SYSTEMS;

EID: 0036543951 PISSN: 01687433 EISSN: None Source Type: Journal
DOI: 10.1023/A:1015761529444 Document Type: Article

Times cited : (64)

References (17)

1
- 0009716009
- Aspers, W. A. M., de Bakker, J. W., ten Hagen, P. J. W., Hazewinkel, M., van der Houwen, P. J., and Nieland, H. M. (eds.); Stichting Mathematisch Centrum, Amsterdam
- (1996) Images of SMC Research 1996

2
- 0001439401
- Lambda calculi with types
- in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds.); Oxford University Press
- (1992) Handbook of Logic in Computer Science , vol.2 , pp. 117-309
- Barendregt, H.P.¹

3
- 0039516897
- The quest for correctness
- in Aspers et al.
- (1996) , pp. 39-58
- Barendregt, H.P.¹

4
- 0004185183
- Academic Press, New York
- (1988) A Computational Logic
- Boyer, R.S.¹ Moore, J.S.²

5
- 0002219923
- The mathematical language AUTOMATH, its usage and some of its extensions
- in M. Laudet, D. Lacombe, and M. Schuetzenberger (eds.); Also in Nederpelt et al.
- (1994) Symposium on Automatic Demonstration, INRIA, Versailles, Lecture Notes in Comput. Sci. 125, Springer-Verlag, Berlin, 1970 , pp. 29-61
- De Bruijn, N.G.¹

6
- 4243934184
- Reflections on automath 1990
- Also in Nederpelt et al.
- (1994) , pp. 201-228
- De Bruijn, N.G.¹

7
- 0009736595
- Bundy, A. (ed.); Springer-Verlag, Berlin
- (1984) CADE-12, Lecture Notes in Comput. Sci. 814

8
- 0009671387
- Computers: (Ac)counting for mathematical proofs
- in Aspers et al.
- (1996) , pp. 15-38
- Cohen, A.M.¹

10
- 0023965424
- The calculus of constructions
- (1988) Information and Computation , vol.76 , pp. 95-120
- Coquand, T.¹ Huet, G.²

12
- 0003522165
- The LEGO proof development system: A user's manual
- Technical Report ECS-LFCS-92-211, University of Edinburgh
- (1992)
- Luo, Z.¹ Pollack, R.²

13
- 0003861212
- MIT Press, Cambridge, MA
- (1962) LISP 1.5 Programmer's Manual
- McCarthy, J.¹

14
- 0009747829
- Nederpelt, R. P., Geuvers, J. H., and de Vrijer, R. C. (eds.); North-Holland, Amsterdam
- (1994) Selected Papers on Automath, Studies in Logic 133

15
- 0004253793
- Master's thesis 385, Universitaire School voor Informatica, University of Nijmegen
- (1996) Proof by Calculation
- Oostdijk, M.¹

16
- 0003581927
- Flammarion, Paris
- (1902) La Science et l'Hypothèse
- Poincaré, H.¹

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