Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004
Online
Aufsatzsammlung, Aufsatzsammlung, Buch, Datenträger, Online-Ressource
Zugriff:
- Hochschule Rhein-Waal, Bibliothek (DE-1383), Bibliothekskatalog
- Technische Hochschule Köln, Hochschulbibliothek (DE-832), Bibliothekskatalog
- Technische Hochschule Ostwestfalen-Lippe, Service Kommunikation Information Medien (DE-743), Bibliothekskatalog
- Universitäts- und Landesbibliothek Düsseldorf (DE-61), Bibliothekskatalog
- Universitäts- und Landesbibliothek Münster, Zentralbibliothek (DE-6), Bibliothekskatalog
- Universitätsbibliothek Dortmund (DE-290), Bibliothekskatalog
- Universitätsbibliothek Duisburg-Essen (DE-465), Bibliothekskatalog
- Universitätsbibliothek Paderborn (DE-466), Bibliothekskatalog
- Universitätsbibliothek Trier (DE-385), Bibliothekskatalog
- Universitätsbibliothek der Fernuniversität (DE-708), Bibliothekskatalog
- Universitätsbibliothek der RPTU in Kaiserslautern (DE-386), Bibliothekskatalog
- Universitätsbibliothek der RWTH Aachen (DE-82), Bibliothekskatalog
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 [Sonstige] ; Lau, Kung-Kiu [Sonstige] |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg, 2004; 2004 |
Inhaltstyp: | Aufsatzsammlung |
Medientyp: | Aufsatzsammlung, Buch |
Datenträgertyp: | Datenträger, Online-Ressource |
ISBN: | 9783540259510; 3540259511 |
DOI: | 10.1007/b98187 |
Schlagwort: |
|
Sonstiges: |
|