Enhanced Processing of Adjectives in Mizar

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

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

How to Define Terms in Mizar Effectively.Artur Korniłowicz - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Formalization of Propositional Linear Temporal Logic in the Mizar System.Mariusz Giero - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
Combining Mizar and TPTP Semantic Presentation and Verification Tools.Josef Urban, Geoff Sutcliffe, Steven Trac & Yury Puzis - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Improving Represntations of Knowledge within the Mizar Library.Adam Grabowski & Christoph Schwarzweller - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Detrended Fluctuation Analysis in biomedical signal processing: selected examples.Agnieszka Kitlas-Golińska - 2012 - Studies in Logic, Grammar and Rhetoric 29 (42).
Coherence function in biomedical signal processing: a short review of applications in Neurology, Cardiology and Gynecology.Agnieszka Kitlas-Golińska - 2011 - Studies in Logic, Grammar and Rhetoric 25 (38).
Language Policy in Switzerland.Elżbieta Kużelewska - 2016 - Studies in Logic, Grammar and Rhetoric 45 (1):125-140.
Mediation in Legal English Teaching.Barbora Chovancová - 2016 - Studies in Logic, Grammar and Rhetoric 45 (1):21-35.
Case Briefs in Legal English Classes.Stĕpánka Bilová - 2016 - Studies in Logic, Grammar and Rhetoric 45 (1):7-20.
Informal Logic and Logic.J. Anthony Blair - 2009 - Studies in Logic, Grammar and Rhetoric 16 (29).

Analytics

Added to PP
2018-03-10

Downloads
2 (#1,893,683)

6 months
2 (#1,686,184)

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

A refinement of de bruijn's formal language of mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.

Add more references