IJCAR 2006: Automated Reasoning: [electronic resource] /: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Shelfclass_id	4.A
Sortkey	IJCAR
Authors	Ulrich Furbach, Natarajan Shankar
Title	IJCAR 2006: Automated Reasoning: [electronic resource] /: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Publisher	Springer
Year	2006
Languages	eng
Isbn	3540371877, 9783540371878
Series	Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Volume	4130
Issn	0302-9743
Description	xv, 680 p. 24 cm
Record date	20100915
Location	New York
Keywords	Artificial intelligence, Computer science, Logic design, Software engineering, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Springer e-books
Urlnote	Zdig Online access for Chalmers Lecture Notes in Computer Science:Full Text
Urls	http://link.libris.kb.se/sfxbth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxcthb?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxjon?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxkau?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxlaub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxlibris-mih?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxliub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxlnu?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxsub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://link.libris.kb.se/sfxuub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000283745&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&, http://www.lub.lu.se/cgi-bin/ipchk/http://dx.doi.org/10.1007/11814771