Fortæl dine venner om denne vare:
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science 1996 edition
Gilles Dowek
Pris
Fr. 55,99
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science 1996 edition
Gilles Dowek
Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems.
296 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 8. maj 1996 |
| ISBN13 | 9783540612544 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 296 |
| Mål | 155 × 235 × 16 mm · 426 g |
| Sprog | Tysk |
| Klipper/redaktør | Dowek, Gilles |
| Klipper/redaktør | Heering, Jan |
| Klipper/redaktør | Meinke, Karl |
| Klipper/redaktør | Moeller, Bernhard |
![Cover for Gilles Dowek · Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/171/9783319089171.jpg?gilles-dowek-2014-rewriting-and-typed-lambda-calculi-joint-international-conferences-rta-and-tlca-2014-held-as-part-of-the-vienna-summer-of-logic-vsl-2014-vienna-austria-july-14-17-2014-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1428936255)
![Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Paperback Bog) [2011 edition] (2010)](https://imusic.b-cdn.net/images/item/original/755/9780857290755.jpg?gilles-dowek-2010-introduction-to-the-theory-of-programming-languages-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1428936256)
![Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Paperback Bog) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/319/9781848820319.jpg?gilles-dowek-2009-principles-of-programming-languages-undergraduate-topics-in-computer-science-paperback-bog&class=scaled&v=1408401004)