Journal of automated reasoning

Biblioteca: Sistema Bibliotecario di Ateneo, BUC. Deposito 2, Modalità di consultazione

Cartaceo (e/o DVD, CD-ROM, microfilm, ecc.)

Disponibile dal 1985 al 2007
ISSN: 0168-7433

Online

Testo completo degli articoli dal 1985
ISSN: 1573-0670

Nuova ricerca