Logic-Based Program Synthesis and T - E-book

eBook

Logic-based Program Synthesis And Transformation - ENG

33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

eBook

$1,200.00

Disponible

Información adicional
Sinopsis

ISBN:	9783031457845
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2023-10-15

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 included in this book were carefully reviewed and selected fromÂ 29Â submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis;Â Static analysis and Type systems;Â Unification and substitution in (C)LP; andÂ Knowledge representation and AI-based learning.

eBooks