Freunden von diesem Artikel berichten:
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
Preis
€ 65,49
Bestellware
Lieferdatum: ca. 15. - 27. Mai
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 8. Mai 1996 |
| ISBN13 | 9783540612544 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 296 |
| Maße | 155 × 235 × 16 mm · 426 g |
| Redakteur | Dowek, Gilles |
| Redakteur | Heering, Jan |
| Redakteur | Meinke, Karl |
| Redakteur | Moeller, Bernhard |
Alle anzeigen
Weitere Titel von Gilles Dowek
![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 (Taschenbuch) [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-taschenbuc&class=scaled&v=1428936255)
![Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1428936256)
![Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1408401004)
Alle Titel von Gilles Dowek ansehen ( u. a. Taschenbuch )