Cover Image

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Armando, Alessandro. (Editor, http://id.loc.gov/vocabulary/relators/edt), Baumgartner, Peter. (Editor, http://id.loc.gov/vocabulary/relators/edt), Dowek, Gilles. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Lecture Notes in Artificial Intelligence ; 5195
Subjects:
Artificial intelligence.
Software engineering.
Computer programming.
Mathematical logic.
Computer logic.
Artificial Intelligence.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Online Access:https://doi.org/10.1007/978-3-540-71070-7

Internet

https://doi.org/10.1007/978-3-540-71070-7

Similar Items