Improving Represntations of Knowledge within the Mizar Library

&
Studies in Logic, Grammar and Rhetoric 18 (31) (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An example of formalizing recent mathematical results in Mizar.Adam Naumowicz - 2006 - Journal of Applied Logic 4 (4):396-413.
Knowledge and knowing in library and information science: a philosophical framework.John Budd - 2001 - Lanham, Md.: Scarecrow Press.
The use of Mizar MSE in a course in foundations of geometry.Lesław W. Szczerba - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 231--232.
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
Returning to the library.Peter Mack - 2012 - Common Knowledge 18 (1):17-21.
Controversies of Information Discovery.Ian Hargraves - 2007 - Knowledge, Technology & Policy 20 (2):83-90.
Actions as Special Cases.Vladimir Lifschitz - unknown
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics.Josef Urban - 2006 - Journal of Applied Logic 4 (4):414-427.
From Inert Knowledge to Activated Knowledge: Practical Ideas for Improving Student Learning.Enoch Hale - 2013 - Philosophy Study 3 (4).
Improving the performance of knowledge and information systems.Dick Kuiper - 1990 - Knowledge, Technology & Policy 3 (3):3-5.
Knowledge-intensive business services in the new mode of knowledge production.Christiane Hipp - 1999 - AI and Society 13 (1-2):88-106.
An application of Mizar MSE in a course in logic.Anna Zalewska - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 224--230.
The nature of knowledge: an introduction for librarians.D. Alasdair Kemp - 1976 - Hamden, Conn.: Linnet Books.
Unpacking the warburg library.Jill Kraye - 2012 - Common Knowledge 18 (1):117-127.

Analytics

Added to PP
2018-03-10

Downloads
3 (#1,723,243)

6 months
2 (#1,243,547)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references