Frontiers of combining systems
Subtitle: 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings
By: Boris Konev, Frank Wolter (eds.).
Contributors: Konev, Boris.; Wolter, Frank.
Series: Lecture notes in computer science -- 4720. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4720.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 282
ISBN-13: 9783540746201
Subjects: Logic, Symbolic and mathematical -- Congresses; Computer science -- Congresses
Genres: Congresses.
Other titles: FroCos 2007.
Notes: Includes bibliographical references and author index.