Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
by
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
Title
:
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Author
:
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
ISBN
:
9783319944609
Edition
:
1st ed. 2018.
Physical Description
:
XVI, 341 p. 59 illus. online resource.
Series
:
Theoretical Computer Science and General Issues ; 10855
Subject Term
:
Logic design.
Software engineering.
Computer science.
Artificial intelligence.
Added Author
:
Fioravanti, Fabio.
Gallagher, John P.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 399611-1001 | ONLINE | | Elektronik Kütüphane |