Нүүр зураг

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025. Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14...

Бүрэн тодорхойлолт

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Aiswarya, C. (Засварлагч), Sen, Prabal Kumar (Засварлагч), Srivastava, Shashi Mohan (Засварлагч)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Хэвлэл:	1st ed. 2025.
Цуврал:	Lecture Notes in Computer Science, 15402
Нөхцлүүд:	Machine theory. Mathematical logic. Logic programming. Computer systems. Application software. Software engineering. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Logic in AI. Computer System Implementation. Computer and Information Systems Applications. Software Engineering.
Онлайн хандалт:	https://doi.org/10.1007/978-3-031-89610-1
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Хэвлэсэн: (2023)

R-Calculus, IV: Propositional Logic
-н: Li, Wei, зэрэг
Хэвлэсэн: (2023)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Хэвлэсэн: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Хэвлэсэн: (2024)

R-Calculus, V: Description Logics
-н: Li, Wei, зэрэг
Хэвлэсэн: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Хэвлэсэн: (2024)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Хэвлэсэн: (2023)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Хэвлэсэн: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Хэвлэсэн: (2024)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Хэвлэсэн: (2024)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Хэвлэсэн: (2025)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
-н: Hoffmann, Dirk W.
Хэвлэсэн: (2025)

Institution-independent Model Theory
-н: Diaconescu, Răzvan
Хэвлэсэн: (2025)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Хэвлэсэн: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Хэвлэсэн: (2025)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Хэвлэсэн: (2024)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Хэвлэсэн: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Хэвлэсэн: (2025)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Хэвлэсэн: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Хэвлэсэн: (2025)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Хэвлэсэн: (2023)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Хэвлэсэн: (2023)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
-н: Morazán, Marco T.
Хэвлэсэн: (2024)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Хэвлэсэн: (2025)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Хэвлэсэн: (2024)

New Directions in Relevant Logic
Хэвлэсэн: (2025)

An Invitation to Mathematical Logic
-н: Marker, David
Хэвлэсэн: (2024)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Хэвлэсэн: (2024)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Хэвлэсэн: (2025)

Introduction to Logic
-н: Copi
Хэвлэсэн: (2008)

Symbolic Logic
-н: Copi
Хэвлэсэн: (1995)

R-Calculus, VI: Finite Injury Priority Method
-н: Li, Wei, зэрэг
Хэвлэсэн: (2025)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Хэвлэсэн: (2024)

A Concise Introduction to Logic
-н: Hurley
Хэвлэсэн: (2006)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
-н: Farmer, William M.
Хэвлэсэн: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
-н: Farmer, William M.
Хэвлэсэн: (2025)

An Introduction to Naïve Set Theory and Its Applications
-н: Srivastava, Shashi Mohan
Хэвлэсэн: (2024)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Хэвлэсэн: (2024)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
-н: Viale, Matteo
Хэвлэсэн: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Хэвлэсэн: (2025)