Please allow one business day for order processing.
Close this alert
Logic, Language, Information, and Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Current price:
$86.24
Publication Date: June 27th, 2018
Publisher:
Springer
ISBN:
9783662576687
Pages:
325
Available in 3-7 business days
Description
Pure and applied logic. Formal Logic. Computing and Programming Theory. Natural Language and Reasoning.
Other Books in Series
Algorithms and Architectures for Parallel Processing: 14th International Conference, Ica3pp 2014, Dalian, China, August 24-27, 2014. Proceedings, Part
Paperback
Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Proceedings
Paperback
Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference, Dcfs 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings
Paperback
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
Paperback
Architecture of Computing Systems - ARCS 2012: 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Paperback
Grid Resource Management: On-Demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
Paperback
Advances in Neural Networks - ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29-June 1, 2011, Proceedings, P
Paperback
Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings
Paperback
Experimental Algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings
Paperback
Logic, Language, Information, and Computation: 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Paperback
Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held as Part of the European Joint Conference
Paperback
Curves and Surfaces: 7th International Conference, Avignon, France, June 24-30, 2010, Revised Selected Papers
Paperback
Wireless Algorithms, Systems, and Applications: 13th International Conference, Wasa 2018, Tianjin, China, June 20-22, 2018, Proceedings
Paperback
Theory and Practice of Natural Computing: 8th International Conference, Tpnc 2019, Kingston, On, Canada, December 9-11, 2019, Proceedings
Paperback
Architecture of Computing Systems - Arcs 2019: 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings
Paperback
Mathematical Software -- Icms 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Paperback
Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedi
Paperback
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings
Paperback
Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity
Paperback
