Andrzej Trybulec - PDFSEARCH.IO - Document Search Engine

Andrzej Trybulec
Results: 14

#	Item
1	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
2	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
3	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
4	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
5	Can the computer really help us to prove theorems? Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-17 12:13:56 Proof assistants Automated theorem proving Logic in computer science Type theory Automath Logic for Computable Functions Nqthm Proof theory ACL2 Mathematical proof Andrzej Trybulec Isabelle
6	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
7	PDF Document Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:06 James H. Davenport Andrzej Trybulec Michael Kohlhase Mathematical knowledge management Nobel laureates in Physics Radioactivity Marie Curie Bruno Buchberger Science Chemistry Physics
8	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September 18, 2004 in Białowie˙za (Poland). The workshop was devoted to celebrate 30 years of Mizar. It was affiliated to th Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
9	PDF Document Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2000-07-24 07:12:04 Mizar Ursa Major constellation Andrzej Trybulec Mizar and Alcor
10	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:35:12 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport