Bokus

Pierangelo Miglioli – författare

Visar alla böcker från författaren Pierangelo Miglioli. Handla med fri frakt och snabb leverans.

1 produkter

  1. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi - Theorem Proving with Analytic Tableaux and Related Methods, Häftad. Tillgänglighet: Lägg i varukorg

    Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

    Av Pierangelo Miglioli, Ugo Moscato m. fl.

    Häftad, 1996

    551 kr

    Lägg i varukorg

    This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this …