About
Sign in
Join
Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Gilles Dowek,
Peter Baumgartner,
Alessandro Armando
—
2008
methods, description logics and related logics, sati?ability modulo theory, decidable logics, reasoning about programs, and higher-order logics.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read