Rewriting Techniques. Resolution of Equations in Algebraic Structures
Book information
Similar books
Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques
1989 · PDF
Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
1994 · PDF
Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
1985 · PDF
Warren's Abstract Machine: A Tutorial Reconstruction
1991 · PDF
Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
1985 · DJVU
Machine Learning: ECML 2001: 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings
2001 · PDF
Parallel Image Analysis: Second International Conference, ICPIA '92 Ube, Japan, December 21–23, 1992 Proceedings
1992 · DJVU
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
1993 · DJVU