Kniha momentálne nie je na sklade
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Autori
Parametre
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 vydania
- 1984
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
- Jazyk
- nemecky
- Autori
- Franz Winkler
- Vydavateľ
- VWGÖ
- Rok vydania
- 1984
- ISBN10
- 3853695841
- ISBN13
- 9783853695845
- Kategórie
- Počítače, IT, programovanie