Get Free Shipping on orders over $79
Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings - Robert Glück
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Logic-Based Program Synthesis and Transformation

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

By: Robert Glück (Editor), Bishoksan Kafle (Editor)

Paperback | 16 October 2023

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Computer Science

Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
Empire of AI : Inside the reckless race for total domination - Karen Hao
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
Falter : Has the Human Game Begun to Play Itself Out? - Bill McKibben
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Man-Made : How the bias of the past is being built into the future - Tracey Spicer