Fortell venner om denne varen:
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
Pris
S$ 72
Bestillingsvarer
Forventes levert 22. - 30. sep
Legg til iMusic ønskeliste
Eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 11. september 1996 |
| ISBN13 | 9783540617358 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 348 |
| Mål | 156 × 234 × 18 mm · 503 g |
| Språk | Tysk |
| Redaktør | Hanus, Michael |
| Redaktør | 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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1446745831)
