Conte aos seus amigos sobre este item:
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
Michael Hanus
Preço
Fr. 57,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 23 de jun - 2 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
Michael Hanus
These conference proceedings are divided into sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
348 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 11 de setembro de 1996 |
| ISBN13 | 9783540617358 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 348 |
| Dimensões | 156 × 234 × 18 mm · 503 g |
| Editor | Hanus, Michael |
| Editor | Rodriguez-artalejo, M. |
![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 Artificial Intelligence (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-artificial-intelligence-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)
