PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 18(31) | 67-77
Tytuł artykułu

HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY

Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
This paper explains how proofs written in Mizar can evolve if some dedicated mechanisms for defining terms are used properly, and how to write articles to fully exploit the potential of these mechanisms. In particular, demonstrated examples show how automatic expansion of terms and terms identification allow to write compact, yet readable proofs.
Słowa kluczowe
Rocznik
Numer
Strony
67-77
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Artur Kornilowicz, Institute of Computer Science, University of Bialystok, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
11PLAAAA10165
Identyfikator YADDA
bwmeta1.element.97c457fe-9c6d-376b-8677-72342e529793
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.