Handbook of automated reasoning, vol.2

Main
Computers - Computer Science
Handbook of automated reasoning, vol.2

Handbook of automated reasoning, vol.2

Robinson A., Voronkov A. (eds.)

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

الفئات:

Computers - Computer Science

عام:

2001

الناشر:

Elsevier

اللغة:

english

الصفحات:

1171

ISBN 10:

0444508120

ISBN 13:

9783827410054

ملف:

DJVU, 15.36 MB

IPFS:

,

english, 2001

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

Alan Robinson and Andrei Voronkov — Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning

Jean H. Gallier — Logic for computer science: foundations of automatic theorem proving

Robinson A., Voronkov A. (eds.) — Handbook of automated reasoning Vol. 1 [...]

Marc Pouly, Juerg Kohlas — Generic Inference: A Unifying Theory for Automated Reasoning

Meir Buzaglo — The logic of concept expansion

John Harrison — Handbook of Practical Logic and Automated Reasoning

Melvin Fitting — First-Order Logic and Automated Theorem Proving

A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh — Handbook of Satisfiability

C. E. Brown — Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.) — Automated Practical Reasoning: Algebraic Approaches

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.) — Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

艾米•马修斯 (Amy Matheus), 斯利•卡米诺夫 (Leslie Caminov), 莎朗• 埃利斯 (Sharon Ellis) — 瑜伽解剖学（全彩图解第2版）

王有升 — 共和国教育学70年（套装共12卷）【中国教育学史诗级著作！"十三五"重点图书出版项目，全面系统地总结新中国教育学70年的发展成就，汇集教育学界各个学科领域知名专家最新学术研究成果。】 (共和国教育学70年系列丛书)

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.) — Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Wu Wen-Tsün (auth.), William McCune (eds.) — Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

D'Agostino M., Gabbay D., et al. (eds.) — Handbook of Tableau Methods

Bibel W. — Deduction: Automated Logic

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations

Bibel W., Schmitt P.H. (eds.) — Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

Hans de Nivelle (auth.) — Collegium Logicum

Stéphane Demri, Deepak Kapur, Christoph Weidenbach (eds.) — Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.) — Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Basin D.(Ed), Rusinowitch M. (Ed) — Automated Reasoning

V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) — Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Miki Hermann, Andrei Voronkov — Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Nicholas Asher, Michael Morreau (auth.), J. van Eijck (eds.) — Logics in AI: European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.) — Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

John Slaney (auth.), Alan Bundy (eds.) — Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.) — Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.) — Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings

Ryuzo Hasegawa, Hiroshi Fujita (auth.), Didier Galmiche (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings

N. G. de Bruijn (auth.), Harrie de Swart (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.) — Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.) — Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Andrei Voronkov & Christoph Weidenbach (eds.) — LNCS 7797 - Programming Logics

Andrei Voronkov, Christoph Weidenbach — Programming Logics: Essays in Memory of Harald Ganzinger

أكثر المصطلحات والعبارات المستخدمة