Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
Issue details
Link to site
Copy
Publisher
Bialystok University Press
Journal
Studies in Logic, Grammar and Rhetoric
Year
2009
Volume
---
Issue
18(31)
Identifiers
Cover
Volume contents
18(31)
article:
A FORMAL PROOF OF EULER'S POLYHEDRON FORMULA
(
Alama J.
), p. 9-23
article:
TWO FORMAL APPROACHES TO ROUGH SETS
(
Grabowski A.
,
Jastrzebska M.
), p. 25-34
article:
IMPROVING REPRESENTATION OF KNOWLEDGE WITHIN THE MIZAR LIBRARY
(
Grabowski A.
,
Schwarzweller C.
), p. 35-50
article:
A LANGUAGE FOR MATHEMATICAL KNOWLEDGE MANAGEMENT
(
Kieffer S.
,
Avigad J.
,
Friedman H.
), p. 51-66
article:
HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY
(
Kornilowicz A.
), p. 67-77
article:
THE INFLUENCE OF DELOCALIZATION ON THE RESULTS OF ELIMINATING REPETITIONS OF SEMANTICALLY EQUIVALENT SENTENCES IN THE MML DATABASE
(
Milewski R.
), p. 79-88
article:
ENHANCED PROCESSING OF ADJECTIVES IN MIZAR
(
Naumowicz A.
), p. 89-101
article:
THE CHINESE REMAINDER THEOREM, ITS PROOFS AND ITS GENERALIZATIONS IN MATHEMATICAL REPOSITORIES
(
Schwarzweller C.
), p. 103-119
article:
COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS
(
Urban J.
,
Sutcliffe G.
,
Trac S.
,
Puzis Y.
), p. 121-136
article:
STATISTICS ON DIGITAL LIBRARIES OF MATHEMATICS
(
Wiedijk F.
), p. 137-151
open years
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.