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)