- Tytuł:
-
Exploring MiZAR library with MML Query
Eksploracja biblioteki mizara z użyciem MML Query - Autorzy:
- Bancerek, G.
- Data publikacji:
- 2007
- Wydawca:
- Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
- Tematy:
-
MIZAR
wyszukiwanie semantyczne
repozytoria sformalizowanej matematyki
sematic searching
repositories of formalized mathematics - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł