Hanus, Michael

ID:DA09507023

同姓同名の著者を検索

検索結果5件中 1-5 を表示

1

Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers

Dietmar Seipel ... [et al.] (eds.)

Springer c2009 Lecture notes in computer science 5437 . Lecture notes in artificial intelligence

所蔵館1館
2

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

Dietmar Seipel ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3392 . Lecture notes in artificial intelligence

所蔵館17館
3

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.)

Springer-Verlag c1997 Lecture notes in computer science 1298

所蔵館51館
4

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Michael Hanus, Mario Rodríguez-Artalejo (eds.)

Springer c1996 Lecture notes in computer science 1139

所蔵館53館
5

Integration of declarative paradigms : proceedings of the ICLP '94 Post-Conference Workshop, Santa Margherita Ligure, Italy

Hassan Ait-Kaci, Michael Hanus, Juan Jose Moreno Navarro (eds.)

Max-Planck-Institut für Informatik 1994

所蔵館1館

この著者を外部サイトでさがす

関連著者

ページトップへ