Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Heidelberg:
Springer-Verlag,
1999
|
| Edition: | 1. vyd. |
| Series: | Lecture Notes in Computer Science
1559. |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Logic-Based Program Synthesis and Transformation:
- Explanation-Based Transformation of Logic Programs
- Lecture Notes in Computer Science : 8th International Workshop, LOPSTR´98 Manchester, UK, June 1998, Selected Papers
- The Logic of Chemical Synthesis /
- Logic Program Synthesis Using Schema Instantation in an Interactive Environment
- Logic synthesis and verification algorithms /
- VHDL: a logic synthesis approach /