Join BookitisSave favorites, build lists, and follow creators.

Nicola Olivetti

Author detail

NO
4 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL2784596A

Overview

Catalog identity and bibliographic footprint for this author.

4 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Nicola Olivetti

  • Source identifier

    OL2784596A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Automated Reasoning

    Representative edition published 2016

    Open Work
  • Proof theory for fuzzy logics

    Representative edition published 2009

    Open Work
  • Automated Reasoning with Analytic Tableaux and Related Methods

    Representative edition published 2007

    Open Work
  • Goal-directed proof theory

    Representative edition published 2000

    Open Work