Netherlands / Oman / Poland / Japan / Canada / East Germany / /
Currency
pence / / /
Event
Person Travel / Person Communication and Meetings / /
Facility
Institute of Library Science / Warsaw University of Technology / Białystok Technical University / Institute of Scientific / University of Białystok / Institute of Computer Science6 / University of Gdansk / Bialystok Technical University / Radboud University / M ARCH / University of Alberta / University of Bialystok / Warsaw University / Shinshu University / /
IndustryTerm
language processor / factorial computing program / /
Organization
University of Gdansk / Institute of Library Science and Scientific Information / Institute of Scientific and Technical Information / Informatics Club / University of Alberta / Polish Academy of Sciences / Institute of Computer Science6 / Bialystok Technical University / Ministry of Science and Higher Education / University of Bialystok / Shinshu University / University of Białystok / Płock Scientific Society / Białystok and Białystok Technical University / Warsaw University of Technology / /
Person
Jerzy Zabilski / Piotr Rudnicki / Paul Cairns / Anna Rybak / Adam Grabowski / Zinaida / Ramm Woronowicz / Edmund Woronowicz / Andrzej Trybulec / Christoph Schwarzweller / M IZAR / Jan Borawski / Krzysztof Łebkowski / Roman Matuszewski / Grzegorz Bancerek / Stanisław Zukowski / Michael Kohlhase / Josef Urban / /
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