Resolution Proof Systems An Algebraic Theory - Z. Stachniak - Libro in lingua inglese - Springer - Automated Reasoning Series Premium

Descrizione

Fortuna Fatali e il teorema del calesse di Valentina Barzago Recensioni: 0/5 DettagliAutore: Z. Stachniak Editore:SpringerCollana:Automated Reasoning SeriesAnno:1996Rilegatura:HardbackPagine:208 p.Testo in EnglishDimensioni:234 x 156 mmEAN:9780792340171