この商品を友人に教える:
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings - Lecture Notes in Computer Science Michael Hanus
価格
¥ 8.878
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月13日 - 2026年1月23日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings - Lecture Notes in Computer Science
Michael Hanus
This work constitutes the proceedings of the sixth International Conference on Algebraic and Logic Programming and the third International Workshop on Higher-Order Algebra, Logic and Term Rewriting. Topics covered include functional and logic programming, higher-order methods and term rewriting.
297 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1997年8月20日 |
| ISBN13 | 9783540634591 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 297 |
| 寸法 | 156 × 234 × 16 mm · 716 g |
| 言語 | ドイツ語 |
| 編集者 | Hanus, Michael |
| 編集者 | Heering, J. |
| 編集者 | Meinke, Karl |
![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)](https://imusic.b-cdn.net/images/item/original/089/9783319089089.jpg?michael-hanus-2014-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&class=scaled&v=1508669808)
![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)](https://imusic.b-cdn.net/images/item/original/145/9783642005145.jpg?michael-hanus-2009-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&class=scaled&v=1557938396)
![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)](https://imusic.b-cdn.net/images/item/original/087/9783540696087.jpg?michael-hanus-2006-practical-aspects-of-declarative-languages-9th-international-symposium-padl-2007-nice-france-january-14-15-2007-proceedings-programming-and-software-engineering-paperback-book&class=scaled&v=1446745831)
