Improving Representation of Knowledge within the Mizar Library

Adam Grabowski , Christoph Schwarzweller

Abstract

n/a
Autor Adam Grabowski
Adam Grabowski
-
, Christoph Schwarzweller (WMFiI / II)
Christoph Schwarzweller
- Instytut Informatyki
Tytuł czasopisma/seriiStudies in Logic, Grammar and Rhetoric, ISSN 0860-150X, (C 15 pkt)
Rok wydania2009
Tom18 (31)
Paginacja 35-50
URL http://logika.uwb.edu.pl/studies/vol31.html
Języken angielski
Punktacja (całkowita)10
Liczba cytowań*
Cytuj
Udostępnij Udostępnij

Pobierz odnośnik do tego rekordu


* Podana liczba cytowań wynika z analizy informacji dostępnych w Internecie i jest zbliżona do wartości obliczanej przy pomocy systemu Publish or Perish.
Powrót