Number of the records: 1  

Abstract Rewriting Machine. ARM

  1. TitleAbstract Rewriting Machine. ARM
    Author Šamulka Marek 1977- - Ústav informatiky SAV
    Co-authors Petriska Martin 1974- - Ústav informatiky SAV
    Issue dataAmsterdam : Stichting Mathematisch Centrum , 1993. - 23s.
    EditionCWI
    Languageeng - English
    CountryNL - Netherlands
    UDC519.682
    Catal.org.SAVINFO
    Copy count1, currently available 0, at library only 1
    Document kindsprávy výskumné
    book

    book

    Call numberLocationSublocationInfo
    R TR 68/93Ústav informatiky SAVIn-Library Use Only

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all