Rewriting, Knuth-Bendix and Groebner bases computations
Book information
Similar books
Puppet 4 Essentials (Code Only)
GZ
Errata for Programming with Miranda
2011 · GZ
The spin model checker : primer and reference manual
2004 · GZ
Design and validation of computer protocols
1990 · GZ
Lost causes in physics
2003 · GZ
Practical Common Lisp
2005 · GZ
Fundamental problems in algorithmic algebra. Errata
2000 · GZ
Representation and inference for natural language, (program code)
GZ