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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Computers - Computer Science

Năm:

2010

In lần thứ:

1

Nhà xuát bản:

Springer-Verlag Berlin Heidelberg

Ngôn ngữ:

english

Trang:

656

ISBN 10:

3642162428

ISBN 13:

9783642162428

Loạt:

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

File:

PDF, 7.38 MB

IPFS:

,

english, 2010

Tải vè (pdf, 7.38 MB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

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

Từ khóa thường sử dụng nhất