Abstraction, Reformulation and Approximation
Zucker, Jean-Daniel.
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540318828
Computer science.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540318828
Computer science.; Logic design.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.