This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The book also adds an important aspect to the intellectual history of Vienna, as both Gödel and Hahn were m...Daugiau...
This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024, held in Santiago de Compostela, Spain, on October 20, 2024.The 6 full papers and...Daugiau...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, held in Beijing, Chin...Daugiau...
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024.The 12 full papers and 1 short paper incl...Daugiau...
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 67, 2024.The 11 full paper...Daugiau...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, S...Daugiau...
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume were carefully reviewed and selected from...Daugiau...
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selecte...Daugiau...
Louis H Kauffman, Fred Cummins, Randolph Dible, Leon Conrad, Graham Ellsbury, Andrew Crompton, Florian Grote
Serija: Series on Knots & Everything
(Išleidimo metai: 31-Jan-2023, Hardback, Leidėjas: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811247422)
Laws of Form is a seminal work in foundations of logic, mathematics and philosophy published by G Spencer-Brown in 1969. The book provides a new point of view on form and the role of distinction, markedness and the absence of distinction (the unmark...Daugiau...
?Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away...Daugiau...
This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 56, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from...Daugiau...
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers...Daugiau...
This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 1820, 2023. The 13 full papers and 3 short papers included in these proce...Daugiau...
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were ca...Daugiau...
To mark the opening of a new mathematics and physics building at the California Institute of Technology, a symposium was held during February 2019, and the organizing committee decided to publish expanded versions of the lectures. The nine papers...Daugiau...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in...Daugiau...
This book constitutes the proceedings of the 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, jointly held in Palma de Mallorca, Spain,...Daugiau...
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper prese...Daugiau...
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 2428, 2023. The 23 full papers and 13 invited papers included i...Daugiau...
