Algebraic Methodology and Software Technology
Kirchner, Hélène.
Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9-13, 2002 Proceedings / edited by Hélène Kirchner, Christophe Ringeissen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540457190
Computer science.; Software engineering.; Logic design.; Algebra; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Programming Techniques.; Artificial Intelligence (incl. Robotics).; Symbolic and Algebraic Manipulation.
Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9-13, 2002 Proceedings / edited by Hélène Kirchner, Christophe Ringeissen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540457190
Computer science.; Software engineering.; Logic design.; Algebra; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Programming Techniques.; Artificial Intelligence (incl. Robotics).; Symbolic and Algebraic Manipulation.