Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir L...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Erdem, Esra (Επιμελητής έκδοσης), Lee, Joohyung (Επιμελητής έκδοσης), Lierler, Yuliya (Επιμελητής έκδοσης), Pearce, David (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:	Lecture Notes in Computer Science, 7265
Θέματα:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Logics and Meanings of Programs. Software Engineering. Programming Techniques. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Έκδοση: (2016)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Έκδοση: (2010)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Έκδοση: (2015)

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
Έκδοση: (2012)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Έκδοση: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Έκδοση: (2012)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Έκδοση: (2015)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Έκδοση: (2013)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
Έκδοση: (2010)

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Έκδοση: (2017)

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Έκδοση: (2017)

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
Έκδοση: (2013)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
Έκδοση: (2004)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Έκδοση: (2015)

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
Έκδοση: (2016)

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Έκδοση: (2014)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Έκδοση: (2010)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Έκδοση: (2012)

Deductive Software Verification – The KeY Book From Theory to Practice /
Έκδοση: (2016)

Compiler Construction 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Έκδοση: (2004)

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
Έκδοση: (2007)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Έκδοση: (2005)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Έκδοση: (2008)

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Έκδοση: (2017)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Έκδοση: (2013)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Έκδοση: (2007)

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
Έκδοση: (2015)

Software Engineering for Collective Autonomic Systems The ASCENS Approach /
Έκδοση: (2015)

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Έκδοση: (2016)

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
Έκδοση: (2016)

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Έκδοση: (2016)

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Έκδοση: (2016)

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
Έκδοση: (2016)

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
Έκδοση: (2011)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
Έκδοση: (2011)

Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Έκδοση: (2009)

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
Έκδοση: (2009)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Έκδοση: (2010)

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών