Name: Logic-Based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (en Inglés)
Price: 269.35 PEN
Availability: InStock
Author: Glück, Robert ; Kafle, Bishoksan
ISBN: 9783031457838

portada Logic-Based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Glück, Robert ; Kafle, Bishoksan

Idioma

Inglés

N° páginas

211

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.32 kg.

ISBN13

9783031457838

Categorías

Programación informática - desarrollo de software
Ciencias de la computación

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (en Inglés)

Glück, Robert ; Kafle, Bishoksan (Autor) · Springer · Tapa Blanda

Libro Físico

S/ 269,35

S/ 538,69

Ahorras: S/ 269,35

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 01 de Julio y el Miércoles 10 de Julio.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Logic-Based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (en Inglés)"

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.