Description: Abstraction, Reformulation, and Approximation

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

Physical Description:	XI, 420 p. online resource.
ISBN:	9783540735809