Results: 1-19    

HOLDINGS (19)

*Journal of automated reasoning

Reidel
Results: 19 Narrow down the search for active libraries
AQ005
Biblioteca dell'Area scientifica - Sezione scienze - Polo Coppito - Università degli Studi dell'Aquila
Via Vetoio, Coppito 1 67100 L'Aquila , tel. 0862433196
Request a document
Holdings: 1988-2002;
Last update holding 2023
BO101
Biblioteca Giuridica "Antonio Cicu". Sezione Centrale
Via Zamboni, 27/29 40126 Bologna , tel. 0512099626 ; 0512099629 , fax. 0512086037
Request a document
Le riviste con collocazione "Riario", "Filopanti", "Baratta" e "Redenti" sono disponibili su prenotazione
Holdings: 1989-2000;
Call number: Riario DEP. 072
Local subject headings: Informatica giuridica
Last update holding 2024
CT032
Biblioteca delle Scienze matematiche e informatiche "F. Guglielmino"
vl. A. Doria, 6 95125 Catania , tel. 0957383086
Request a document
Holdings: 1985-2001;
Lacunae: 1985;
Call number: PER.562
Last update holding 2024
FE003
Biblioteca di Lettere e Filosofia dell'Università degli Studi di Ferrara
Via Savonarola, 27 44121 Ferrara , tel. 0532293417/3442
Request a document
Holdings: 1991-2006;
Call number: SALA 1P 81
Last update holding 2024
GE002
Biblioteca ELSAG Bailey
v. Puccini,2 16154 Genova , tel. 010/65821 , fax. 010/6582898
Holdings: 1988-
Holding not updated from 1988
GE027
Biblioteca della Scuola Politecnica. Sede di Ingegneria dell'Università
Via all'Opera Pia, 15 a 16145 Genova , tel. 010 3352772
Request a document
Holdings: 1993-2005;
Notes: Fondi: Sede Ingegneria - Opera Pia - Solo consultazione
Last update holding 2024
MI259
Biblioteca di Biologia, Informatica, Chimica e Fisica (BICF). Università degli Studi di Milano
via G. Celoria,18 20133 Milano , tel. 00390250316622
Request a document
Holdings: 1985-2006;
Lacunae: 1999;
Call number: p_112
Notes: Proveniente dalla ex-biblioteca MI318 - Informatica
Last update holding 2024
NA061
Biblioteca CNR - Istituto di Scienze Applicate e Sistemi Intelligenti
via Campi Flegrei, 34 80078 Pozzuoli , tel. 0818675137 , fax. 0818675109
Request a document
Holdings: 1985-2004;
Last update holding 2023
PD055
Biblioteca Centrale di Ingegneria dell'Università degli Studi di Padova
Via Loredan, 20 35131 Padova , tel. 049 8274100/5415/6755/7692
Request a document
Holdings: 1985-1996;
Call number: DEI.PER.215
Last update holding 2015
PG356
Biblioteca di Scienze Matematiche, Fisiche e Geologiche
Via Vanvitelli, 1 06123 Perugia , tel. 075-5855026; 5027 , fax. 075-5855965
Request a document
Holdings: 1989-1992;
Last update holding 2016
PI061
Biblioteca dell'Area di Ricerca di Pisa - CNR
via G. Moruzzi 1 56124 Pisa , tel. 050 3152122 , fax. 050 3152282
Request a document
Holdings: 1985-2002;
Call number: ISTI C320
Notes: Il periodico continua dal 2003 con la versione online
Last update holding 2024
PV087
Biblioteca di studi umanistici. Università degli Studi di Pavia
Piazza del Lino, 2 27100 Pavia , tel. 0382/984742 , fax. 0382/984785
Request a document
Holdings: 1996;1999-2006;
Call number: Filosofia ST.RIVISTE
Last update holding 2019
RM006
Biblioteca del Dipartimento di Matematica Guido Castelnuovo - Sapienza Università di Roma
P.le A. Moro, 2 00185 Roma , tel. 0649913220/0649913221 , fax. 0649913219
Request a document
Holdings: 1989-1992;
Last update holding 2023
RM028
Biblioteca del Dipartimento di Ingegneria informatica, automatica e gestionale Antonio Ruberti - Sapienza Università di Roma
Via Ariosto, 25 00185 Roma , tel. 0677274166 , fax. 0677274177
Request a document
Holdings: 1985-2007;
Notes: L'abbonamento continua online
Last update holding 2024
RM180
Biblioteca di Filosofia - Sapienza Università di Roma
via Carlo Fea, 2 00161 Roma , tel. 0649917212
Request a document
Holdings: 1989-2001;
Call number: Per. Ingl. 209
Last update holding 2024
RM220
Biblioteca SELENIA
v. Tiburtina Km.12,400 Roma , tel. (06)43601
Holdings: 1988-
Holding not updated from 1988
RM532
Biblioteca di area scientifica - Biblioteca di area tecnologica - Sede delle Torri. Università degli Studi Roma Tre
Lungotevere Dante 376/378 00146 Roma , tel. 06 57338495 , fax. 06 57333082
Request a document
Holdings: 1995-1996;
Lacunae: 1996;
Last update holding 2024
TN004
Biblioteche UniTrento
Via Adalberto Libera, 3 38122 Trento , tel. 0461-283020
Request a document
Holdings: 1985-2007;
Call number: BUC - Biblioteca Universitaria Centrale
Last update holding 2018
TO102
Biblioteca del Dipartimento di Informatica dell'Università degli Studi di Torino
Cosro Svizzera, 185 (ingresso da via Pessinetto, 12) 10149 Torino , tel. 011 6706717 , fax. 011 751603
Request a document
Holdings: 1985-2006;
Holdings detail: 1(1985)-37(2006); Issues received
Call number: Per.ces.27
Last update holding 2024
Results: 1-19