Back to Results
First PageMeta Content
Mathematical logic / Knowledge / Mizar system / QED manifesto / Proof assistant / Mathematical proof / Automated proof checking / Andrzej Trybulec / Constructivism / Logic / Mathematics / Formal methods


Document Date: 2007-04-17 17:02:53

Open Document

File Size: 454,60 KB

Share Result on Facebook

City

Warsaw / Bialystok / /

Company

Argonne National Laboratory / Mizar Users Group / CTTs / Microsoft / /

Country

Poland / United States / /

/

Facility

building QED / Bialystok Campus / Warsaw University / /

IndustryTerm

e-burg / interactive theorem-proving systems / /

Organization

State Committee for Scienti / Bialystok Campus Department / Department of Logic / Warsaw University / Organization of a Data Base / /

Person

Bernd Ingo Dahn / Robert Boyer / John McCarthy / Piotr Rudnicki / Ingo Dahn / F. Javier Thayer / William McCune / Randall Holmes / Bill Pase / Andrzej Trybulec / Paul B. Jackson / Peter White / Deepak Kapur / Herbert Stoyan / Manfred Kerber / John Harrison / Martin Strecker / Roman Matuszewski / Oleg Okhotnikov / Bogdan Nowak / Yozo Toda / Rajeev Gore / Wolfgang Jaksch / Claus Zinn / Javier Thayer / /

/

Position

General / Governor / Chairman / Bishop / active chair / classical mathematician / /

URL

ftp /

SocialTag