Knihu momentálně nemáme skladem
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Autoři
Parametry
Nákup knihy
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms, Franz Winkler
- Jazyk
- Rok vydání
- 1984
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
- Jazyk
- německy
- Autoři
- Franz Winkler
- Vydavatel
- VWGÖ
- Rok vydání
- 1984
- ISBN10
- 3853695841
- ISBN13
- 9783853695845
- Kategorie
- Počítače, IT, programování