메뉴 건너뛰기




Volumn 3085, Issue , 2004, Pages 378-393

Formal proof sketches

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

EID: 35048816888     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24849-1_24     Document Type: Article
Times cited : (40)

References (13)
  • 2
    • 35248858905 scopus 로고    scopus 로고
    • A Theoretical Analysis of Hierarchical Proofs
    • Andrea Asperti, Bruno Buchberger, and James Davenport, editors, volume 2594 of LNCS, Springer
    • Paul Cairns and Jeremy Gow. A Theoretical Analysis of Hierarchical Proofs. In Andrea Asperti, Bruno Buchberger, and James Davenport, editors, Mathematical Knowledge Management, Proceedings of MKM 2003, volume 2594 of LNCS, pages 175-187. Springer, 2003.
    • (2003) Mathematical Knowledge Management, Proceedings of MKM 2003 , pp. 175-187
    • Cairns, P.1    Gow, J.2
  • 4
    • 84957666404 scopus 로고    scopus 로고
    • Optimizing Proof Search in Model Elimination
    • M. A. McRobbie and J. K. Slaney, editors, volume 1104 of LNCS, New Brunswick, NJ, Springer-Verlag
    • John Harrison. Optimizing Proof Search in Model Elimination. In M. A. McRobbie and J. K. Slaney, editors, 13th International Conference on Automated Deduction, volume 1104 of LNCS, pages 313-327, New Brunswick, NJ, 1996. Springer-Verlag.
    • (1996) 13th International Conference on Automated Deduction , pp. 313-327
    • Harrison, J.1
  • 5
  • 6
    • 0004187505 scopus 로고
    • Fondation Philippe le Hodey, Brussels
    • M. Muzalewski. An Outline of PC Mizar. Fondation Philippe le Hodey, Brussels, 1993. 〈http://www.cs.kun.nl/~freek/mizar/mizarmanual.ps.gz〉.
    • (1993) An Outline of PC Mizar
    • Muzalewski, M.1
  • 7
    • 18944384114 scopus 로고    scopus 로고
    • Weak Type Theory, a formal language for mathematics
    • Eindhoven University of Technology, Department of Math, and Comp. Sc., May
    • Rob Nederpelt. Weak Type Theory, a formal language for mathematics. Technical Report 02-05, Eindhoven University of Technology, Department of Math, and Comp. Sc., May 2002.
    • (2002) Technical Report 02-05
    • Nederpelt, R.1
  • 13
    • 35048893086 scopus 로고    scopus 로고
    • Formal proof sketches
    • Wan Fokkink and Jaco van de Pol, editors, Amsterdam
    • F. Wiedijk. Formal proof sketches. In Wan Fokkink and Jaco van de Pol, editors, 7th Dutch Proof Tools Day, Program + Proceedings, Amsterdam, 2003. CWI. 〈http://www.cs.kun.nl/~freek/notes/sketches.ps.gz〉.
    • (2003) 7th Dutch Proof Tools Day, Program + Proceedings
    • Wiedijk, F.1


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