Skip to content
Library Home
Start Over
Research Databases
E-Journals
课程储备
Library Home
登录
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
语言
Library Catalog
全文检索
题名
作者
主题
索引号
ISBN/ISSN
检索
高级检索
|
浏览
|
检索技巧
Automated Deduction - CADE-15
引用
发送短信
推荐此
打印
导出纪录
导出到 RefWorks
导出到 EndNoteWeb
导出到 EndNote
加到收藏夹
Permanent link
Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / edited by Claude Kirchner, Helene Kirchner.
Saved in:
书目详细资料
企业作者:
SpringerLink (Online service)
其他作者:
Kirchner, Claude
(Editor)
,
Kirchner, Helene
(Editor)
格式:
电子书
语言:
English
出版:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
版:
1st ed. 1998.
丛编:
Lecture Notes in Artificial Intelligence ;
1421
Springer eBook Collection.
主题:
Artificial intelligence.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
在线阅读:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
持有资料
实物特征
书本目录
相似书籍
职员浏览
相似书籍
Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
出版: (1999)
Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
出版: (2007)
Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
出版: (2000)
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
出版: (2005)
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
出版: (2011)
Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
出版: (2002)
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
出版: (2017)
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
出版: (2019)
Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
出版: (2003)
Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
出版: (2013)
Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
出版: (1997)
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
出版: (2009)
Automated Deduction - CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
出版: (1992)
Automated Deduction — CADE-12 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
出版: (1994)
Automated Deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
出版: (1996)
Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings
出版: (2021)
Automated Deduction in Classical and Non-Classical Logics Selected Papers
出版: (2000)
Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
出版: (2023)
Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
出版: (1997)
10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings
出版: (1990)
Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
出版: (2011)
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
出版: (2011)
Automated Deduction in Equational Logic and Cubic Curves
由: McCune, William, et al.
出版: (1996)
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
出版: (2015)
Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
出版: (1999)
8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings
出版: (1986)
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
出版: (2013)
Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
出版: (2007)
Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
出版: (2004)
Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
出版: (2015)
Natural Deduction, Hybrid Systems and Modal Logics
由: Indrzejczak, Andrzej
出版: (2010)
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
出版: (2006)
Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
出版: (2001)
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
出版: (2010)
Labelled Deduction
出版: (2000)
Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
出版: (2008)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
出版: (1998)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
出版: (1998)
7th International Conference on Automated Deduction Proceedings
出版: (1984)
Instantiation Theory On the Foundations of Automated Deduction
由: Williams, James G.
出版: (1991)
前一个
下一个
相似书籍
Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
出版: (1999)
Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
出版: (2007)
Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
出版: (2000)
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
出版: (2005)
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
出版: (2011)