Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Biere, Armin
ID: 1193224

Opere

Altre forme del nome

http://viaf.org/viaf/141145542412296641206/

Nome da opac

Seleziona tutte

Deseleziona

Handbook of satisfiability

...

Theory and applications of satisfiability testing--SAT 2006

...

Tools and Algorithms for the Construction and Analysis of Systems

...