Staff View for: Automated deduction--CADE-22 : 22nd Inte

 Staff view

You must be logged in to Tag Records

Automated deduction--CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /

Renate A. Schmidt (ed.).

Book Cover
Names: Schmidt, Renate A.
Published: Berlin ; Springer, c2009.
Series: Lecture notes in computer science ; 5663.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7 Artificial intelligence.
Topics: Automatic theorem proving - Congresses. | Logic, Symbolic and mathematical - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 02127cam a2200457Ia 4500
001 11123689
005 20140621205505.0
006 m d
007 cr unu
008 090729s2009 gw a sb 101 0 eng d
020 |a9783642029592
020 |a3642029590
020 |z9783642029585 (pbk.)
020 |z3642029582 (pbk.)
035 |a(OCoLC)ocn428448870
035 |a(IITdb)806125
037 |a978-3-642-02959-2|bSpringer|nhttp://www.springerlink.com
040 |aCUS|cCUS|dWAU|dC$Q|dIITdb
049 |aILLA
050 4|aQA76.9.A96|bI57 2009
072 7|aQA|2lcco
111 2 |aInternational Conference on Automated Deduction|n(22nd :|d2009 :|cMontréal, Québec)
245 10|aAutomated deduction--CADE-22|h[electronic resource] :|b22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /|cRenate A. Schmidt (ed.).
246 30|aCADE-22
246 3 |aCADE-twenty-two
260 |aBerlin ;|aNew York :|bSpringer,|cc2009.
300 |a1 online resource (xiv, 504 p.) :|bill.
490 1 |aLecture notes in computer science,|x0302-9743 ;|v5663.|aLecture notes in artificial intelligence
490 1 |aLNCS sublibrary. SL 7, Artificial intelligence
500 |aTitle from PDF t.p. (SpringerLink, viewed July 29, 2009).
504 |aIncludes bibliographical references and index.
650 0|aAutomatic theorem proving|vCongresses.
650 0|aLogic, Symbolic and mathematical|vCongresses.
700 1 |aSchmidt, Renate A.
776 08|iPrint version:|tAutomated deduction - CADE-22.|dBerlin : Springer, 2009|z9783642029585|w(OCoLC)427322381
830 0|aLecture notes in computer science ;|v5663.
830 0|aLecture notes in computer science.|pLecture notes in artificial intelligence.
830 0|aLNCS sublibrary.|nSL 7|pArtificial intelligence.
852 0 |bGER|hQA76.9.A96|iI57 2009eb
856 40|3SpringerLink|uhttps://ezproxy.gl.iit.edu/login?url=http://dx.doi.org/10.1007/978-3-642-02959-2|zAccess to the electronic version for current IIT main & branch campus students, faculty, & staff.
994 |a92|bILL

Staff View for: Automated deduction--CADE-22 : 22nd Inte