REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2012, Volume 20, Issue 2

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3637
    Tytuł: Semantics of MML Query
    Autorzy: Bancerek, Grzegorz
    Data wydania: 2012
    Data dodania: 6-gru-2015
    Wydawca: De Gruyter Open
    Źródło: Formalized Mathematics, Volume 20, Issue 2, 2012, Pages 147-155
    Abstrakt: In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
    Afiliacja: Białystok Technical University, Poland
    Sponsorzy: This work has been supported by the Polish Ministry of Science and Higher Education project “Managing a Large Repository of Computer-verified Mathematical Knowledge” (N N519 385136).
    URI: http://hdl.handle.net/11320/3637
    DOI: 10.2478/v10037-012-0017-x
    ISSN: 1426-2630
    1898-9934
    Typ Dokumentu: Article
    Występuje w kolekcji(ach):Formalized Mathematics, 2012, Volume 20, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    v10037-012-0017-x.pdf273,26 kBAdobe PDFOtwórz
    Pokaż pełny widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons