Search Results for Hanus, Michael.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHanus$00252C$002bMichael.$0026te$003dILS$0026ps$003d300?
2024-11-02T01:46:36Z
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189717
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185868
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485593
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08909-6">https://doi.org/10.1007/978-3-319-08909-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189769
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00675-3">http://dx.doi.org/10.1007/978-3-642-00675-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183183
2024-11-02T01:46:36Z
2024-11-02T01:46:36Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135595">http://dx.doi.org/10.1007/b135595</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>