| Shelfclass_id | 4.A |
| Sortkey | CADE |
| Authors | Renate A. Schmidt |
| Title | CADE 2009: Automated Deduction - CADE-22: [Elektronisk resurs]: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009, Proceedings |
| Publisher | Springer |
| Year | 2009 |
| Languages | eng |
| Isbn | 3642029582, 9783642029585 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 5663 |
| Issn | 0302-9743 |
| Description | xiv, 504 p. 24 cm |
| Record date | 20100915 |
| Location | New York |
| Urlnote | Zdig Online access for Chalmers Lecture Notes in Computer Science:Full Text |
| Urls | 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=1000000000761218&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |