臺北市立大學行動版館藏查詢

Hanus, Michael.(作者(個人/團體)) ，共查得7 件。

Algebraic and logic programming 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke (eds.). c1997.

Applications of declarative programming and knowledge management 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / edited by Dietmar Seipel, Michael Hanus, Armin Wolf 2009

Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu. 2018.

Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / edited by Michael Hanus, Ricardo Rocha. 2014.

Functional and logic programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings / edited by Michael Hanus, Atsushi Igarashi. 2022.

Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / edited by Michael Hanus 2009

Practical aspects of declarative languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / edited by Michael Hanus, Daniela Inclezan. 2023.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :