VIAF

Virtual International Authority File

Search

Nicolini, Enrica Central Institute for the Union Catalogue of the Italian libraries

VIAF ID: 307337581 (Personal)

Permalink: //viaf.org/viaf/307337581

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Combined decision procedures for constraint satisfiability : dottorato di ricerca in matematica, 19. ciclo / Enrica Nicolini ; advisor: Silvio Ghilardi ; PhD coordinator: Antonio Lanteri Central Institute for the Union Catalogue of the Italian libraries

Open Section Close Section About

Open Section Close Section History of VIAF ID:307337581 (1)