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 10 pkt)
Rok wydania2009
Tom18 (31)
Paginacja35-50
Klasyfikacja ASJC1211 Philosophy
URL http://logika.uwb.edu.pl/studies/vol31.html
Języken angielski
Punktacja (całkowita)10
Wskaźniki publikacji Scopus SNIP (Source Normalised Impact per Paper): 2014 = 0.311
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