Logic for Programming, Artificial Intelligence, and...

Main
Computers - Computer Science
Logic for Programming, Artificial...

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)

0 / 5.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

Anno:

2010

Edizione:

1

Casa editrice:

Springer-Verlag Berlin Heidelberg

Lingua:

english

Pagine:

656

ISBN 10:

3642162428

ISBN 13:

9783642162428

Collana:

Lecture Notes in Computer Science 6397 : Theoretical Computer Science and General Issues

File:

PDF, 7.38 MB

IPFS:

,

english, 2010

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

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

Moura, Leonardo de — Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Dixon, Clare; Finger, Marcelo — Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Sergei Artemov,Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

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

V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. 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

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

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

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

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

Piero A. Bonatti (auth.), Nicola Olivetti (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. 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

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. 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

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.) — Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.) — Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 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

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.) — Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

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

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

Matti Jarvisalo, Allen Van Gelder — Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

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

Termini più frequenti