Number of the records: 1
Title statement Term rewriting and all that / Franz Baader and Tobias Nipkow Personal name Baader, Franz, 1959- (author) Edition statement 1st pbk. ed. Issue data Cambridge : Cambridge University Press, 1999 Phys.des. xii, 301 s. ISBN 0-521-77920-0 (brož.) Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Nipkow, Tobias, 1958- (author) Subj. Headings přepisující systémy rewriting systems Form, Genre učebnice vysokých škol textbooks (higher) Conspect 004.4/.6 - Programování. Software 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 004.4 , (075.8) Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/1079 (PřF) 3134032789 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1