Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /

• 作者：Franz Baader (ed.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science, ; Lecture notes in artificial intelligence
• 電子資源：http://dx.doi.org/10.1007/b11829
• ISBN/ISSN/ISRC：9783540405597 (paper)
• 作者：Baader, Franz.
• 索書號：006.3