Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
Enregistré dans:
| Autres auteurs: | |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Heidelberg:
Springer-Verlag,
1999
|
| Édition: | 1. vyd. |
| Collection: | Lecture Notes in Computer Science
1559. |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: 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 /