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)
Other physical media
Acnp cumulative hol.
1985-
Full Text