6th Conference on Automated Deduction: New York, USA, June...

Main
Mathematics
6th Conference on Automated Deduction:...

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

L. Wos (auth.), D. W. Loveland (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:

Anno:

1982

Edizione:

1

Casa editrice:

Springer Berlin Heidelberg

Lingua:

english

Pagine:

397

ISBN 10:

3540115587

ISBN 13:

9783540115588

Collana:

Lecture Notes in Computer Science 138

File:

PDF, 15.30 MB

IPFS:

,

english, 1982

Scaricare (pdf, 15.30 MB)

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

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

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

Laudet M., Lacombe D., Nolin L. (eds.) — Symposium on Automatic Demonstration

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

Stanley N. Burris — Logic for Mathematics and Computer Science

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

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

R. E. Davis — Truth, deduction, and computation: logic and semantics for computer science

W W Bledsoe; Robert S Boyer (ed.) — Automated reasoning : essays in honor of Woody Bledsoe

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

Wos L., Pieper G.W. (eds.) — The collected works of Larry Wos: Exploring the power of automated reasoning

Pascal Fontaine — Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

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

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

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

Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.) — 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 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

John Slaney (auth.), Alan Bundy (eds.) — Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 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

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

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) — Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Jörg H. Siekmann (auth.), R. E. Shostak (eds.) — 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.) — Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Larry Wos, Gail W. Pieper. — The collected works of Larry Wos

Termini più frequenti