Journal of automated reasoning

Library: Biblioteche UniTrento, BUC. Deposito 2, Modalità di consultazione

Paper (and/or DVD, CD-ROM, microfilm ecc.)

Available from 1985 to 2007
ISSN: 0168-7433

Online

Article full text from 1985
ISSN: 1573-0670

New search