Canonical Equational Proofs - Bachmair - Libro in lingua inglese - Birkhauser Boston Inc - Progress in Theoretical Computer Science Meest Verkocht

Descrizione

Fortuna Fatali e il teorema del calesse di Valentina Barzago Recensioni: 0/5 DettagliAutore: Bachmair Editore:Birkhauser Boston IncCollana:Progress in Theoretical Computer ScienceAnno:1991Rilegatura:Paperback / softbackPagine:138 p.Testo in EnglishDimensioni:235 x 155 mmEAN:9780817635558