Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
Uložené v:
| Ďalší autori: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Heidelberg:
Springer-Verlag,
1999
|
| Vydanie: | 1. vyd. |
| Edícia: | Lecture Notes in Computer Science
1559. |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky: 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 /