Logic-based program synthesis and transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers /: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers. (2020)

Record Type:
Book
Title:
Logic-based program synthesis and transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers /: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers. (2020)
Main Title:
Logic-based program synthesis and transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised selected papers
Other Titles:
LOPSTR 2019
Further Information:
Note: Maurizio Gabbrielli (ed.).
Editors:
Gabbrielli, Maurizio
Other Names:
LOPSTR (Symposium), 29th
Contents:
Publisher Details:
Cham, Switzerland : Springer
Publication Date:
2020
Copyright Date:
2020
Extent:
1 online resource (xvi, 261 pages), illustrations
Subjects:
005.1/15
Logic programming -- Congresses
Computer logic -- Congresses
Computer software -- Development -- Congresses
Languages:
English
ISBNs:
9783030452605
3030452603
Related ISBNs:
9783030452599
Notes:
Note: Includes bibliographical references and index.
Note: Description based on online resource (SpringerLink, viewed June 30, 2020).
Access Rights:
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
Access Usage:
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:
British Library HMNTS - ELD.DS.508485
Ingest File:
03_085.xml