Studies in Logic, Grammar and Rhetoric - Issue 18(31) (2009) - CEJSH - Yadda

Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Issue details

Publisher

Sciendo

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.