Michael Hanus的作品

iMusic 有现货显示无货商品

Cover for Michael Hanus · Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Declarative Programming and Know... (2014)

Cover for Michael Hanus · Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)

Logic-Based Program Synthesis an... (2009)

Cover for Michael Hanus · Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Programming and Software Engineering (Paperback Book) [2007 edition] (2006)

Practical Aspects of Declarative... (2006)

Cover for Michael Hanus · Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1997)

Algebraic and Logic Programming:... (1997)

Cover for Michael Hanus · Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996, Proceedings (International Conference, Alp '96, Aachen, Germany, September 25-27, 1996 - Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1996)

Algebraic and Logic Programming:... (1996)

Cover for Michael Hanus · Problemlosen Mit Prolog - Mikrocomputer-praxis (Paperback Book) (1987)

Problemlosen Mit Prolog - Mikroc... (1987)