Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montréal, QC, Canada, in September 2017. The 21 revised full papers presented together with 5invoted talks were carefully reviewed and selected from 26 submissions. Disc...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Brlek, Srečko (Επιμελητής έκδοσης), Dolce, Francesco (Επιμελητής έκδοσης), Reutenauer, Christophe (Επιμελητής έκδοσης), Vandomme, Élise (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	Lecture Notes in Computer Science, 10432
Θέματα:	Computer science. Mathematical logic. Numerical analysis. Computer science > Mathematics. Computers. Artificial intelligence. Computer Science. Mathematical Logic and Formal Languages. Math Applications in Computer Science. Artificial Intelligence (incl. Robotics). Numeric Computing. Information Systems and Communication Service.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
Έκδοση: (2008)

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)

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Έκδοση: (2005)

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /
Έκδοση: (2006)

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Έκδοση: (2015)

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
Έκδοση: (2007)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Έκδοση: (2009)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
Έκδοση: (2005)

Logic versus Approximation Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday /
Έκδοση: (2004)

Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
Έκδοση: (2004)

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
Έκδοση: (2006)

Transactions on Rough Sets XVII
Έκδοση: (2014)

Transactions on Rough Sets XVIII
Έκδοση: (2014)

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Έκδοση: (2017)

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
Έκδοση: (2016)

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers /
Έκδοση: (2007)

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
Έκδοση: (2013)

Transactions on Rough Sets XIX
Έκδοση: (2015)

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

Transactions on Rough Sets XVI
Έκδοση: (2013)

Transactions on Rough Sets XX
Έκδοση: (2016)

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
Έκδοση: (2016)

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings /
Έκδοση: (2014)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Έκδοση: (2015)

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Έκδοση: (2017)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011)

Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Έκδοση: (2017)

Agent Technology from a Formal Perspective
Έκδοση: (2006)

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
Έκδοση: (2014)

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Έκδοση: (2017)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
Έκδοση: (2013)

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

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
Έκδοση: (2012)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Έκδοση: (2014)

A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016)

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