Logic category: 1296 books
Language and Automata Theory and Applications
13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Language: English
Release Date: April 21, 2019
This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019.
The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected...
by Burhanuddin Baki
Language: English
Release Date: November 20, 2014
Language: English
Release Date: November 20, 2014
Alain Badiou's Being and Event continues to impact philosophical investigations into the question of Being. By exploring the central role set theory plays in this influential work, Burhanuddin Baki presents the first extended study of Badiou's use of mathematics in Being and Event.
Adopting...
Genetic Programming
21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Language: English
Release Date: March 23, 2018
This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, EvoMUSART, and EvoApplications.
The 11 revised full papers presented together with 8 poster...
Automated Reasoning with Analytic Tableaux and Related Methods
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Language: English
Release Date: September 4, 2017
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.
The 19 contributed papers presented in this volume were carefully reviewed and selected from...
Graph Structures for Knowledge Representation and Reasoning
5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Language: English
Release Date: March 29, 2018
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference...
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Language: English
Release Date: March 18, 2019
This book constitutes the proceedings of the 5th OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2018.
The 14 full papers presented in this book were carefully reviewed and selected for inclusion in this volume. The papers discuss a variety of ideas for extending the OpenSHMEM specification...
Reversible Computation
9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Language: English
Release Date: June 26, 2017
This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.
The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47...
by
Language: English
Release Date: March 9, 2017
Language: English
Release Date: March 9, 2017
The development of nature-inspired computational techniques has enhanced problem solving in dynamic and uncertain environments. By implementing effective computing strategies, this ensures adaptable, self-organizing, and decentralized behavioral techniques. Recent Developments in Intelligent Nature-Inspired...
Digital Doodles and Mind-Farts
--Coffee Talk--
Language: English
Release Date: February 2, 2017
This book is a compilation of the authors many observations, and all the crazy ideas that he has had in his lifetime, that he has been posting on his blog digitaldoodlesandmind-farts.blogspot.com.
by Herbert B. Enderton
Language: English
Release Date: May 23, 1977
Language: English
Release Date: May 23, 1977
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it...
Connecting Analytical Thinking and Intuition
And the Nights Abound with Inspiration
Language: English
Release Date: January 28, 2016
This book demonstrates how analytical thinking and intuition can be systematically connected and trained. It is illustrated by figures and photographs and includes creative and stimulating exercises.
We are living in a world of increasing complexity, in which perceiving reality accurately is...
The Yablo Paradox
An Essay on Circularity
Language: English
Release Date: May 29, 2014
Roy T Cook examines the Yablo paradox—a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it in the sequence—with special attention paid to the idea that this paradox provides us with a semantic paradox that involves no circularity. The three...
Proofs of the Cantor-Bernstein Theorem
A Mathematical Excursion
Language: English
Release Date: February 26, 2013
This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs,...
by Gianluca Caterina, Rocco Gangle
Language: English
Release Date: September 13, 2016
Language: English
Release Date: September 13, 2016
This book consolidates and extends the authors’ work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge...