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...Lasīt vairāk
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...Lasīt vairāk
Louis H Kauffman, Fred Cummins, Randolph Dible, Leon Conrad, Graham Ellsbury, Andrew Crompton, Florian Grote
Sērija : Series on Knots & Everything
(Izdošanas datums: 31-Jan-2023, Hardback, Izdevniecība: 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...Lasīt vairāk
?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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were caref...Lasīt vairāk
?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...Lasīt vairāk
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022....Lasīt vairāk
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers wer...Lasīt vairāk
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021....Lasīt vairāk
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.The 15 full papers presented together with 7...Lasīt vairāk
This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021.The 48 full papers present...Lasīt vairāk
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021....Lasīt vairāk
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were ca...Lasīt vairāk
This book constitutes the proceedings of the 16th International Conference on Formal Concept Analysis, ICFCA 2021, held in Strasbourg, France, in June/July 2021.The 14 full papers and 5 short papers presented in this volume were carefully r...Lasīt vairāk
This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and...Lasīt vairāk
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2...Lasīt vairāk
