Fortell venner om denne varen:
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
Pris
NOK 569
Bestillingsvarer
Forventes levert 12. - 20. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 20. august 1997 |
| ISBN13 | 9783540634591 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 297 |
| Mål | 156 × 234 × 16 mm · 716 g |
| Språk | Tysk |
| Redaktør | Hanus, Michael |
| Redaktør | Heering, J. |
| Redaktør | 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 (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-computer-science-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)
