Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Proietti, Maurizio (Επιμελητής έκδοσης), Seki, Hirohisa (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Σειρά:	Lecture Notes in Computer Science, 8981
Θέματα:	Computer science. Software engineering. Computer logic. Mathematical logic. Computer science > Mathematics. Artificial intelligence. Computer Science. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics). Discrete Mathematics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Έκδοση: (2013)

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Έκδοση: (2014)

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
Έκδοση: (2012)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Έκδοση: (2015)

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
Έκδοση: (2008)

Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
Έκδοση: (2004)

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
Έκδοση: (2007)

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /
Έκδοση: (2011)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Έκδοση: (2013)

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Έκδοση: (2017)

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Έκδοση: (2015)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Έκδοση: (2010)

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Έκδοση: (2015)

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Έκδοση: (2006)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Έκδοση: (2013)

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
Έκδοση: (2014)

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers /
Έκδοση: (2005)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Έκδοση: (2016)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
Έκδοση: (2005)

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Έκδοση: (2012)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
Έκδοση: (2006)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Έκδοση: (2014)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
Έκδοση: (2005)

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

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
Έκδοση: (2015)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Έκδοση: (2017)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
Έκδοση: (2008)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
Έκδοση: (2005)

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 /
Έκδοση: (2014)

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
Έκδοση: (2011)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Έκδοση: (2010)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Έκδοση: (2012)

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
Έκδοση: (2011)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Έκδοση: (2007)

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Έκδοση: (2004)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

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

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
ανά: Jureta, Ivan
Έκδοση: (2015)

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση: (2006)

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