Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

To chci

Uloženo v:

Podrobná bibliografie

Další autoři
Leo Bachmair
Typ dokumentu
Knihy
Fyzický popis
x, 273 s.
Vydáno
Berlin : Springer, 2000
Edice
Lecture notes in computer science ; 1833
Témata
Popis jednotky
Konference, Norwich, 2000
ISBN
3-540-67778-X

Instituce:

Informace o knihovně

Jednotky

Nápověda
Pro vytváření rezervací/objednávek je třeba se přihlásit.
Dostupnost Stav Oddělení Sbírka Umístění Více informací Poznámka Signatura
03
Dostupnost nelze načíst
Fond NTK
6.NP, regál 6D/116
QA267 .R73 2000 A 36155/2