Algebraic Methodology and Software Technology
Johnson, Michael.
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540356363
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.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540356363
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.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).