Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
Na minha lista:
| Outros Autores: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
Heidelberg:
Springer-Verlag,
1999
|
| Edição: | 1. vyd. |
| Colecção: | Lecture Notes in Computer Science
1559. |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: 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 /