Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 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!

Lecture Notes in Computer Science

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 Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Metaheuristic Algorithms : Theory and Practice - Gai-Ge Wang

RRP $94.99

$85.75

10%
OFF
Theory of Computation for Software Developers - Maxim  Mozgovoy

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil