Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Name: Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Price: 48.99 CAD
Availability: InStock
Author: Valeria de Paiva
ISBN: 9783662477090

Edited by Valeria de Paiva

Feb 26, 2016

$48.99 ~~Price reduced from $60.38 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Theoretical Computer Science and General Issues

Publisher: Springer Berlin Heidelberg

ISBN: 9783662477090

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Paperback
$94.95
2 formats available
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Paperback
$131.50
2 formats available
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$58.50
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Leonid Libkin Paperback
$72.95
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Paperback
$94.95
2 formats available
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He Paperback
$80.50
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Paperback
$124.50
2 formats available
Learning and Intelligent Optimization: 18th International Conference, LION 18, Ischia Island, Italy, June 9-13, 2024, Revised Selected Papers

Paola Festa Paperback
$116.95
Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Marcello M. Bonsangue Paperback
$80.50
2 formats available
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Paperback
$80.50
2 formats available
Advances in Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

Nicholas N. Olenev Paperback
$124.50
2 formats available
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Didier Galmiche Paperback
$80.50
2 formats available
Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Paperback
$80.50
2 formats available
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Paperback
$80.50
Fluids Under Control: The 2021 Prague-Sum Workshop Lectures

Tomá Bodn Paperback
$131.50
2 formats available
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar C-mpeanu Paperback
$80.50
2 formats available
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Nicolas Peltier Paperback
$116.95
2 formats available
Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Daniel Paulusma Paperback
$116.95
2 formats available
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Paperback
$80.50
Graph Theory and Applications: Proceedings of the Conference at Western Michigan University, May 10 - 13, 1972

Paperback
$59.95

Editorial reviews

valeria de paiva

Author

Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Paperback
$80.50
2 formats available
Logic, Language, Information, And Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lawrence S. Moss Paperback
$109.50
2 formats available
Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Rosalie Iemhoff Paperback
$80.50
2 formats available
Logic, Rationality, And Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

Patrick Blackburn Paperback
$80.50
2 formats available
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Paperback
$80.50
2 formats available
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Paperback
$80.50
2 formats available
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Santiago Escobar Paperback
$80.50
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Paperback
$116.95
2 formats available
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Paperback
$102.50
2 formats available
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Sergei Artemov Paperback
$124.50
2 formats available
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann Paperback
$80.50
Learning And Intelligent Optimization: 14th International Conference, Lion 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers

Ilias S. Kotsireas Paperback
$80.50
2 formats available
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Paperback
$80.50
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Paperback
$94.95
2 formats available
Learning And Intelligent Optimization: 15th International Conference, Lion 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers

Dimitris E. Simos Paperback
$131.50
2 formats available
Graph-theoretic Concepts In Computer Science: 47th International Workshop, Wg 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers

Åukasz Kowalik Paperback
$145.95
2 formats available
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Paperback
$80.50
2 formats available
Mathematical Optimization Theory And Operations Research: 19th International Conference, Motor 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings

Alexander Kononov Paperback
$80.50
2 formats available
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Paperback
$116.95
2 formats available
Formal Grammar: 24th International Conference, Fg 2019, Riga, Latvia, August 11, 2019, Proceedings

Raffaella Bernardi Paperback
$80.50
2 formats available

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Overview

You May Also Like

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Learning and Intelligent Optimization: 18th International Conference, LION 18, Ischia Island, Italy, June 9-13, 2024, Revised Selected Papers

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Advances in Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Fluids Under Control: The 2021 Prague-Sum Workshop Lectures

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Graph-Theoretic Concepts in Computer Science: 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Graph Theory and Applications: Proceedings of the Conference at Western Michigan University, May 10 - 13, 1972

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, And Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Logic, Language, Information, And Computation: 26th International Workshop, Wollic 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Logic, Rationality, And Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Learning And Intelligent Optimization: 14th International Conference, Lion 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Learning And Intelligent Optimization: 15th International Conference, Lion 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers

Graph-theoretic Concepts In Computer Science: 47th International Workshop, Wg 2021, Warsaw, Poland, June 23-25, 2021, Revised Selected Papers

Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Mathematical Optimization Theory And Operations Research: 19th International Conference, Motor 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings

Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Formal Grammar: 24th International Conference, Fg 2019, Riga, Latvia, August 11, 2019, Proceedings