Logic-Based Program Synthesis and Transformation (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2023
- First Edition
- Softcover
- New
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
AbeBooks seller since June 22, 2007
Condition: New
US$ 104.18
Quantity: 1 available
Add to basketItem description from seller
Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Seller Inventory # 9783031457838
- Title
- Logic-Based Program Synthesis and Transformation (Paperback)
- Author
- Robert Glueck
- Publisher
- Springer International Publishing AG, Cham
- Publication year
- 2023
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3031457838
- ISBN 13
- 9783031457838
- Edition
- 1st Edition
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.
"Synopsis" may belong to another edition of this title.
AussieBookSeller
Truganina, VIC, Australia
AbeBooks seller since June 22, 2007
Shipping rates from Australia to U.S.A.
| Item | 25 to 45 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 37.00 | US$ 44.00 |
Payment methods
Seller's business information
The Nile Group Pty Ltd
42 Apex Drive
Truganina, VIC Australia 3029
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.
Shipping terms
Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.