Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Automation of Reasoning: 1: Classical Papers on...

Main
Computers - Computer Science
Automation of Reasoning: 1: Classical...

Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966

Jӧrg Siekmann and Graham Wrightson (eds.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Computers - Computer Science

Volume:

1

Anno:

1983

Edizione:

1

Casa editrice:

Springer-Verlag

Lingua:

english

Pagine:

528

ISBN 10:

3540120432

ISBN 13:

9783540120438

Collana:

Artificial Intelligence

File:

PDF, 43.55 MB

IPFS:

,

english, 1983

Scaricare (pdf, 43.55 MB)

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

James D. Carney — Introduction to Symbolic Logic

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

Gèrard Huet, Gordon Plotkin — Logical frameworks

Hilbert D., Ackermann W. — Principles of mathematical logic

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

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

David Hilbert, Wilhelm Ackermann — Principles of Mathematical Logic

D & W ACKERMANN HILBERT — PRINCIPLES OF MATHEMATICAL LOGIC. CHELSEA PUBL. 1950.

Chin-Liang Chang, Richard Char-Tung Lee — Symbolic Logic and Mechanical Theorem Proving

Bibel W. — Deduction: Automated Logic

Chin-Liang Chang, Richard Char-Tung Lee — Symbolic logic and mechanical theorem proving

David Bostock — Intermediate logic

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

David Bostock — Intermediate logic

Steve Reeves, Michael Clarke — Logic for Computer Science

Simon Thompson — Type Theory and Functional Programming

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Stephen Cole Kleene — Mathematical Logic

F.C. Oglesby — An Examination of a Decision Procedure

Wilhelm Ackermann, David Hilbert, Robert E. Luce — Principles of mathematical logic

Robinson J.A. — Logic: Form and function - The Mechanization of Deductive Reasoning

von Plato J. — Elements of Logical Reasoning

M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger — Symposium on Automatic Demonstration

Jӧrg Siekmann and Graham Wrightson (eds.) — Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966

Gilles Dowek (auth.), Robert Nieuwenhuis (eds.) — Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. 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

Ian Horrocks (auth.), Andrei Voronkov (eds.) — Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 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

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.) — Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 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

Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.) — Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 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

Termini più frequenti