Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

LNCS 7797 - Programming Logics

Main
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

Andrei Voronkov & Christoph Weidenbach (eds.)

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Programming Logics

Год:

2013

Язык:

spanish

ISBN 10:

3642376517

ISBN 13:

9783642376511

Файл:

MOBI , 1.78 MB

IPFS:

,

spanish, 2013

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

Выполняется конвертация в

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

Вас может заинтересовать

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

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 [...]

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

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

Loizos Michael, Antonis Kakas (eds.) — Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

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

Franz Baader, Andrei Voronkov — Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

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

Hubert Comon Claude Marché Ralf Treinen (eds.) — Constraints in Computational Logics. Theory and Applications CCL ’99

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

Stefania Costantini, Arianna Tocchio (auth.), Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone (eds.) — Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 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

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

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

Sava Krstić, Amit Goel (auth.), Boris Konev, Frank Wolter (eds.) — Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) — Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.) — Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.) — Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

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

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

Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.) — Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Ключевые слова