Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions....

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Fernández, Maribel (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Theoretical Computer Science and General Issues ; 12561
Subjects:	Computer logic. Artificial intelligence. Software engineering. Mathematical logic. Computer organization. Logics and Meanings of Programs. Artificial Intelligence. Software Engineering/Programming and Operating Systems. Mathematical Logic and Formal Languages. Computer Systems Organization and Communication Networks. Electronic books.
Online Access:	Connect to the full text of this electronic book