募捐 9月15日2024 – 10月1日2024 关于筹款

The collected works of Larry Wos

Main
Mathematics
The collected works of Larry Wos

The collected works of Larry Wos

Larry Wos, Gail W. Pieper.

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

v. 1. Exploring the power of automated reasoning --
v. 2. Applying automated reasoning to puzzles, problems, and open questions.

种类:

年:

2000

出版社:

World Scientific

语言:

english

页:

1639

ISBN 10:

9810249985

ISBN 13:

9789810249984

文件:

PDF, 77.73 MB

IPFS:

,

english, 2000

线上阅读

正在转换

转换为失败

您可能会感兴趣

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

Bibel W. — Deduction: Automated Logic

Alan Bundy — The computer modelling of mathematical reasoning

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.2

Larry Wos; Robert Veroff; Gail W Pieper — Automated reasoning and its applications : essays in honor of Larry Wos

D. W. Loveland (Auth.) — Automated Theorem Proving. A Logical Basis

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

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

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

Nicolas Peltier, Viorica Sofronie-Stokkermans — Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

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

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

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

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

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

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

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

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

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

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

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

Steffen Hölldobler (eds.) — Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

关键词