Login
|
New Account
ITA
ENG
output
Marc21 ascii
Marc21 xml
Marc21 json
Marc21 download bin
Journal of automated reasoning (Dordrecht. Online)
Place : Publisher
Dordrecht : Kluwer
Cham, Switzerland : Springer Nature
From year - To year
1985-
Publication history
V.1, issue 1 (1985)-
Type of resource
Periodical
Frequency
Quarterly
Language
English
Country of publication
Switzerland
ISSN
1573-0670
ISSN-L
0168-7433
UDC code
681.3; 007.52
Codice Dewey code
511.3
Journal code
PT02112714
Database
temp
Medium
On-line (remote)
Journal public access
https://link.springer.com/journal/10817
http://journals.kluweronline.com
Other physical media
Journal of automated reasoning
Acnp cumulative hol.
1985-
Permalink
https://acnpsearch.unibo.it/journal/2112714
Full Text
26
Doc. Delivery
Linked Titles
Other links
Seek gifts