Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Banerjee, Mohua (Editor), Sreejith, A. V. (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13963
Subjects:	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.
Online Access:	https://doi.org/10.1007/978-3-031-26689-8
Tags:	Add Tag No Tags, Be the first to tag this record!