We define a pure logic programming language, which is extended with specification and assertion constructs.
An edition of Logic Program Synthesis and Transformation
(1997)
Logic Program Synthesis and Transformation
6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
1 edition
by John Gallagher
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic programming, Congresses| Edition | Availability |
|---|---|
1
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)
April 18, 1997, Springer
Paperback
in English
- 1 edition
3540627189 9783540627180
|
aaaa
|
Book Details
First Sentence
"We define a pure logic programming language, which is extended with specification and assertion constructs."
The Physical Object
Edition Identifiers
Work Identifiers
Excerpts
added anonymously.
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| July 29, 2014 | Edited by ImportBot | import new book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| August 10, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |