Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Handbook of Logic in Artificial Intelligence and Logic...

Main
Medicine
Handbook of Logic in Artificial...

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Рік:

1993

Видавництво:

Clarendon Press

Мова:

english

Сторінки:

535

ISBN 10:

019853745X

ISBN 13:

9780198537458

Файл:

DJVU, 4.16 MB

IPFS:

,

english, 1993

Читати Онлайн

Виконується конвертація в

Конвертація в не вдалась

Можливо вас зацікавить

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

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Jackendoff et al. (eds.) — Language, logic and concepts

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

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning

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

David Harel, Dexter Kozen, Jerzy Tiuryn — Dynamic logic

Hartley Rogers — Theory of Recursive Functions and Effective Computability

J.-J. Ch. Meyer, W. van der Hoek — Epistemic Logic for AI and Computer Science

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors) — The Description Logic Handbook: Theory, Implementation and Applications

Michael R. Genesereth, Nils J. Nilsson — Logical Foundations of Artificial Intelligence

Matthew L. Ginsberg — Readings in Nonmonotonic Reasoning

Jon Barwise — The situation in logic

王国俊 — 数理逻辑引论与归结原理

L. Wos (auth.), D. W. Loveland (eds.) — 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

L. Wos (auth.), D. W. Loveland (eds.) — 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

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

Bibel W. — Deduction: Automated Logic

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

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

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Hans de Nivelle (auth.) — Collegium Logicum

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

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

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

Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) — Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 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

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

Marc Denecker (auth.), Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.) — Logics in Artificial Intelligence: European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

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

Ключові фрази

Пов’язані вибірки