Tipsa dina vänner om produkten:
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
SEK 759
Beställningsvara
Förväntad leverans 14 - 24 maj
Lägg till din iMusic-önskelista
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 8 maj 1996 |
| ISBN13 | 9783540612544 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 296 |
| Mått | 155 × 235 × 16 mm · 426 g |
| Redaktör | Dowek, Gilles |
| Redaktör | Heering, Jan |
| Redaktör | Meinke, Karl |
| 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 - Theoretical Computer Science and General Issues (Pocketbok) [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-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1428936255)
![Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1428936256)
![Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1408401004)