Vertel uw vrienden over dit artikel:
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
Prijs
Íkr 9.708,54
Besteld in een afgelegen magazijn
Verwachte levering 24 mei - 5 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 mei 1996 |
| ISBN13 | 9783540612544 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 296 |
| Afmetingen | 155 × 235 × 16 mm · 426 g |
| Uitgever | Dowek, Gilles |
| Uitgever | Heering, Jan |
| Uitgever | Meinke, Karl |
| Uitgever | 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 Book) [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-book&class=scaled&v=1428936255)
![Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [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-book&class=scaled&v=1428936256)
![Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [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-book&class=scaled&v=1408401004)