MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof Presentation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2,271 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Mathematics and Proof Presentation in Pcoq  
  • by Ahmed Amerkad, Yves Bertot, Loïc Pottier, Laurence Rideau, Inria Sophia Antipolis — 2001 — in: Proceedings of Proof Transformation and Presentation and Proof Complexities (PTP’01
  • …Mathematics and Proof Presentation in Pcoq Ahmed Amerkad, Yves Bertot, Lo#c Pottier, Laurence…
  • Cited by 6 (1 self) – Add To MetaCart
  • Human Oriented Proof Presentation: A Reconstructive Approach  
  • by Der Technischen Fakultat, Xiaorong Huang, Xiaorong Huang, Dekan Prof, Dr. Gunter Hotz, Berichterstatter Prof, Dr. Jorg Siekmann, Prof Dr, Wolfgang Wahlster — 1994
  • …://js-sfbsun.cs.uni-sb.de/pub/www/ SEKI Report Human Oriented Proof Presentation: A Reconstructive Approach Xiaorong Huang SEKI Report…
  • Add To MetaCart
  • Presenting Proofs Using Logicographic Symbols  
  • by Koji Nakagawa, Bruno Buchberger — 2001 — In Proc. of the Workshop on Proof Transformation and Presentation and Proof Complexities (PTP-01
  • …Presenting Proofs Using Logicographic Symbols ⋆ Software Competence Center Hagenberg, Hauptstrasse…
  • Cited by 4 (1 self) – Add To MetaCart
  • Presenting Machine-Found Proofs  
  • by Xiaorong Huang, Xiaorong Huang, Armin Fiedler, Armin Fiedler — 1996 — Proceedings CADE-13, LNAI 1104
  • …://jswww.cs.uni-sb.de/pub/seki/ Presenting Machine-Found Proofs Xiaorong Huang and Armin Fiedler Published as: Proc. of 13th International…
  • Cited by 23 (7 self) – Add To MetaCart
  • A Short Proof on the Local Detachment Theorem  
  • by Zoltán Szigeti, Technical Reports — 2004
  • … and shortened proof is presented for a theorem of Jordan and Szigeti [2] on detachments preserving local edge…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB