Term rewriting and all that /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Baader, Franz, 1959- (Autor), Nipkow, Tobias, 1958- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c1998
Témata:
počítačová věda
computer science
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xii, 301 s.
ISBN:0-521-45520-0
978-0-52177920-3

Podobné jednotky