Cover Image

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Miguel, Ian. (Editor, http://id.loc.gov/vocabulary/relators/edt), Tuml, Wheeler. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Lecture Notes in Artificial Intelligence ; 4612
Subjects:
Artificial intelligence.
Computers.
Mathematical logic.
Computer logic.
Artificial Intelligence.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Online Access:https://doi.org/10.1007/978-3-540-73580-9

Internet

https://doi.org/10.1007/978-3-540-73580-9

Similar Items