LDR 01476nas a2200325 a 4500
001 itacnp2112714
003 IT-ACNP
005 20240926070000.0
007 cr
008 020909 19859999cheq p engcr
022 _a1573-0670
024 7 _aPT02112714
_2CNR
024 7 _aitacnp2112714
_2IT-ACNP
035 _a(ISSN)1573-0670
040 _atemp
044 _ache
_cCHE
080 _a681.3
080 _a007.52
082 _a511.3
082 _aNULL
222 0 _aJournal of automated reasoning
_bDordrecht. Online
245 00 _aJournal of automated reasoning
260 _aDordrecht
_bKluwer
260 _aCham, Switzerland
_bSpringer Nature
264 2 _cData export is allowed to ACNP participating libraries for institutional purposes and to individuals for personal, non-commercial uses only. Please contact the Bologna University ACNP Team ( acnp.sba.unibo.it/chi-siamo/staff-acnp ) to request permission to use exported data outside the scope of the above license, including but not limited to republication to a group or republishing the website or parts of the website.
264 4 _bUniversità di Bologna
_ccopyright2024
541 _aissn
_e2358371
776 1 _tJournal of automated reasoning
_w42312
_x0168-7433
856 40 _aacnp.unibo.it
_nACNP Italian Union Catalogue of Serials
_uhttps://acnpsearch.unibo.it/journal/2112714
856 40 _aacnp.sba.unibo.it/
_nARPAC Area Patrimonio Culturale - Università di Bologna
_macnp.support@unibo.it
_uhttps://acnp.sba.unibo.it