Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für GND-ID= "DE-588 1011507609"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 10 von 10  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Hanus, Michael, 1959- [Herausgeber] Declarative programming and knowledge management [Elektronische Ressource] / Michael Hanus ... (eds.). - (Lecture notes in computer science ; 8439 : Lecture notes in artificial intelligence) 

URL: http://dx.doi.org/10.1007/978-3-319-08909-6 ; Hinw.: Verlag

 2014 
     
2
Hanus, Michael, 1959- [Herausgeber] Logic based program synthesis and transformation / LOPSTR 2008, Valencia, Spain, July 17 - 18, 2008. Michael Hanus (ed.). - (Lecture notes in computer science ; 5438) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2009/12/22/file_190/3469597.pdf
Inhaltsverzeichnis

 2009 
     
3
Hanus, Michael, 1959- [Herausgeber] Practical aspects of declarative languages [Elektronische Ressource] / PADL 2007, Nice, France, January 14 - 15, 2007. Michael Hanus (ed.). - (Lecture notes in computer science ; 4354) 



2007 
     
4
Hanus, Michael, 1959- [Herausgeber] Practical aspects of declarative languages / PADL 2007, Nice, France, January 14 - 15, 2007. Michael Hanus (ed.). - (Lecture notes in computer science ; 4354) 



2007 
     
5
Hanus, Michael, 1959- [Hrsg.] Functional and (constraint) logic programming (WFLP 2001) / Michael Hanus (ed.). - (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel ; 2017) 



2001 
     
6
Hanus, Michael, 1959- An evaluation semantics for narrowing-based functional logic languages / Michael Hanus ; Salvador Lucas. - (Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel ; 2000) 



2000 
     
7
ALP, 5 (1996 : Aachen) Proceedings of the poster session of ALP ’96 / Michael Hanus (ed.). - (Aachener Informatik-Berichte ; 96,9) 



1996 
     
8
Hanus, Michael, 1959- [Hrsg.] Integration of functional and logic languages / Michael Hanus ... (eds.). - (Dagstuhl-Seminar-Report ; 146) 



1996 
     
9
Hanus, Michael, 1959- Logisches und funktionales Programmieren / Fernuniversität, Gesamthochschule in Hagen. - ([Kurs] / Fernuniversität - Gesamthochschule - in Hagen ; ...) 



1994-
     
10
Hanus, Michael, 1959- Programmlösen mit PROLOG / Michael Hanus. - 2. überarb. u. erw. Aufl.. - (MikroComputer-Praxis) 



1987 
     


Vorige Seite   Nächste Seite