Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
2024 ed.
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
3031712935
ISBN-13
9783031712937
Edition
2024 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 7th, 2024
Print length
241 Pages
Product Classification:
Mathematical theory of computation
AI Summary
Ksh 9,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions.
Get Logic-Based Program Synthesis and Transformation by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding
Ksh 8,100.00
Arithmetic Geometry, Number Theory, and Computation
Ksh 29,600.00
Language and Automata Theory and Applications
Ksh 8,100.00
Algorithmic Game Theory
Ksh 14,400.00
Combinatorial Optimization and Applications
Ksh 14,400.00
Principles and Practice of Constraint Programming
Ksh 8,100.00
