Login
|
New Account
ITA
ENG
output
Marc21 ascii
Marc21 xml
Marc21 json
Marc21 download bin
Journal of automated reasoning
Place : Publisher
Dordrecht : Reidel
From year - To year
1985-
Type of resource
Periodical
Frequency
Quarterly
Language
English
Country of publication
Netherlands
ISSN
0168-7433
ISSN-L
0168-7433
UDC code
681.3; 007.52
Codice Dewey code
6.3
Journal code
P 00063661
Database
acnp
Medium
Printed text
Other physical media
Journal of automated reasoning (Dordrecht. Online)
Acnp cumulative hol.
1985-
Permalink
https://acnpsearch.unibo.it/journal/42312
Libraries
19
Doc. Delivery
Linked Titles
Other links
T.O.C.
Seek gifts