Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gore, Rajeev (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Leitsch, Alexander (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Nipkow, Tobias (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Artificial Intelligence ; 2083
• Θέματα: Artificial intelligence.; Mathematical logic.; Computer logic.; Software engineering.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Foundations.
• Φυσική περιγραφή: XIII, 712 p. online resource.
• ISBN: 9783540457442
• DOI: 10.1007/3-540-45744-5