MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Mizar." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 725 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Mizar: the first 30 years  
  • by Roman Matuszewski, Piotr Rudnicki — 2005 — Mechanized Mathematics and Its Applications
  • …Mizar: the first 30 years Roman Matuszewski 1 and Piotr Rudnicki 2⋆ 1 University of Bia…
  • Cited by 4 (0 self) – Add To MetaCart
  • Mizar Light for HOL Light  
  • by Freek Wiedijk — 2001 — Theorem Proving in Higher Order Logics: TPHOLs 2001, LNCS 2152
  • …Mizar Light for HOL Light Freek Wiedijk freek@(email omitted); Department of Computer Science…
  • Cited by 9 (2 self) – Add To MetaCart
  • A Comparison of Mizar and Isar  
  • by Markus Wenzel, Freek Wiedijk — 2002 — J. Automated Reasoning
  • …A comparison of Mizar and Isar Markus Wenzel (wenzelm@(email omitted);) ∗ Institut für Informatik…
  • Cited by 6 (0 self) – Add To MetaCart
  • An Overview of the MIZAR Project  
  • by Piotr Rudnicki Department, Piotr Rudnicki — 1992 — University of Technology, Bastad
  • …An Overview of the MIZAR Project Piotr Rudnicki Department of Computing Science University…
  • Add To MetaCart
  • Commutative Algebra in the Mizar System  
  • by Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec — 2001
  • …Article Submitted to Journal of Symbolic Computation Commutative Algebra in the Mizar System Piotr…
  • Add To MetaCart
  • Association of Mizar Users  
  • by Www Http Mizar, Volume Addenda
  • … Association of Mizar Users WWW: http://mizar.org/JFM/Addenda/arytm.html The articles [4], [2], [7], [1], [5…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB