Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004
Online
Aufsatzsammlung, Sammelwerk, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
|
---|---|
Verantwortlichkeitsangabe: | edited by Maurice Bruynooghe, Kung-Kiu Lau |
Autor/in / Beteiligte Person: | Bruynooghe, Maurice ; Lau, Kung-Kiu |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004 |
Medientyp: | Aufsatzsammlung, Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540259510 |
DOI: | 10.1007/b98187 |
Schlagwort: |
|
Sonstiges: |
|