Vinkkaa tuotetta kavereillesi:
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
Hinta
DKK 502,48
Tilattu etävarastosta
Arvioitu toimitus ti 28. touko - pe 7. kesä
Lisää iMusic-toivelistallesi
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 8. toukokuuta 1996 |
ISBN13 | 9783540612544 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 296 |
Mitta | 155 × 235 × 16 mm · 426 g |
Toimittaja | Dowek, Gilles |
Toimittaja | Heering, Jan |
Toimittaja | Meinke, Karl |
Toimittaja | Moeller, Bernhard |
Näytä kaikki
Lisää tuotteita Gilles Dowek
Katso kaikki joka sisältää Gilles Dowek ( Esim. Paperback Book )