Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers / Fred Mesnard, Peter J. Stuckey (eds.).
2019
QA76.63
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers / Fred Mesnard, Peter J. Stuckey (eds.).
ISBN
9783030138387 (electronic book)
3030138380 (electronic book)
9783030138370
3030138380 (electronic book)
9783030138370
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (xx, 203 pages) : illustrations.
Item Number
10.1007/978-3-030-13838-7 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1/15
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed March 27, 2019).
Added Author
Mesnard, Fred, editor.
Stuckey, Peter J., editor.
Stuckey, Peter J., editor.
Series
Lecture notes in computer science ; 11408.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources