Journal of Automated Reasoning

ISBN코드: 
1573-0670
커버리지: 
1985~2014
제공자: 
Springer
초성: 
J
On-campus: 
http://link.springer.com/journal/10817
Off-campus: 
https://openlink.postech.ac.kr/link.n2s?url=http://link.springer.com/journal/10817