Logic category: 1296 books
Automated Deduction – CADE 26
26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Language: English
Release Date: July 9, 2017
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.
The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the...
by
Language: English
Release Date: March 10, 2017
Language: English
Release Date: March 10, 2017
Soft computing and nature-inspired computing both play a significant role in developing a better understanding to machine learning. When studied together, they can offer new perspectives on the learning process of machines. The Handbook of Research on Soft Computing and Nature-Inspired Algorithms...
The Mathematics That Power Our World
How Is It Made?
Language: English
Release Date: May 12, 2016
"It appears the best use of the text to be as a resource for educators interested in providing individual case studies of applications of mathematics to their students while diving beyond the why and thoroughly into the how."
Mathematical Association of America
The Mathematics...
Fundamentals of Legal Argumentation
A Survey of Theories on the Justification of Judicial Decisions
Language: English
Release Date: July 10, 2017
This book is an updated and revised edition of Fundamentals of Legal Argumentation published in 1999. It discusses new developments that have taken place in the past 15 years in research of legal argumentation, legal justification and legal interpretation, as well as the implications of these new...
by Plato
Language: English
Release Date: March 22, 2018
Language: English
Release Date: March 22, 2018
Plato, along with his teacher Socrates and student Aristotle, is one of the most famous and influential philosophers in history. Plato founded the Academy in Athens which greatly helped develop philosophy and he was also instrumental in the development of Western religion and spirituality. This edition of Theaetetus includes a table of contents.
by Aristotle
Language: English
Release Date: March 22, 2018
Language: English
Release Date: March 22, 2018
Aristotle was an ancient Greek philosopher who was largely responsible for shaping Western philosophy as it is known today. Aristotle, who was one of Plato’s students and would later tutor Alexander the Great, was also regarded as the world’s first scientist and his many writings are still revered today. This edition of On Sense and the Sensible includes a table of contents.
by P.T. Johnstone
Language: English
Release Date: January 5, 2014
Language: English
Release Date: January 5, 2014
One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students of mathematics, the treatment focuses on how topos theory integrates geometric and logical ideas into...
by Jan Willem Wieland
Language: English
Release Date: April 26, 2014
Language: English
Release Date: April 26, 2014
This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains...
by
Language: English
Release Date: February 14, 2011
Language: English
Release Date: February 14, 2011
Requiring heterogeneous information systems to cooperate and communicate has now become crucial, especially in application areas like e-business, Web-based mash-ups and the life sciences. Such cooperating systems have to automatically and efficiently match, exchange, transform and integrate large...
by Anke Meyer-Baese, Volker J. Schmid
Language: English
Release Date: March 21, 2014
Language: English
Release Date: March 21, 2014
Medical imaging is one of the heaviest funded biomedical engineering research areas. The second edition of Pattern Recognition and Signal Analysis in Medical Imaging brings sharp focus to the development of integrated systems for use in the clinical sector, enabling both imaging and the automatic...
Compressed Data Structures for Strings
On Searching and Extracting Strings from Compressed Textual Data
Language: English
Release Date: October 31, 2013
Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the dataset with auxiliary information to speed up the query resolution. In this...
by Jim Spinosa
Language: English
Release Date: October 22, 2015
Language: English
Release Date: October 22, 2015
The conclusion reached in "Fathoming Gödel" is that Gödel's 1931 paper is a shell game. It is based on several errors that are well camouflaged. Some shortcomings in the paper are openly admitted although they are downplayed, and errors are also produced in an effort to force a particular...
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Language: English
Release Date: June 26, 2017
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.
The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of...
Algorithms for Computational Biology
6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Language: English
Release Date: June 16, 2019
This book constitutes the proceedings of the 6th InternationalConference on Algorithms for Computational Biology, AlCoB 2019, held in Berkeley, CA, USA, in May 2019.
The 15 full papers presented together with 1 invited paper were carefully reviewed and selected from 30 submissions. They are...