Cover image for
Title:
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek.
Author:
Carbonell, Jaime G.
Published:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:
Lecture notes in computer science ; 5195.
Notes:
Interim record for SpringerLink e-book 2008.
Other Authors:
Armando, Alessandro.

Baumgartner, Peter.

Dowek, Gilles.

Siekmann, J\"org.

SpringerLink (Online service)
ISBN:
9783540710707
Online Access:
e-book

Available:*

Library
Material Type
Call Number
Status
Searching...
Electronic Book XX(608041.2)
Searching...

On Order

Summary

Summary