Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science - Gilles Dowek - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540612544 - keskiviikko 8. toukokuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Gilles Dowek
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

Hinta
A$ 94,04

Tilattu etävarastosta

Arvioitu toimitus to - pe 4. - 12. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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
Kieli Saksa  
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 )