Online Resource
Springer Science and Business Media LLC
;
2020
In:
Journal of Automated Reasoning Vol. 64, No. 1 ( 2020-1), p. 1-20
In:
Journal of Automated Reasoning, Springer Science and Business Media LLC, Vol. 64, No. 1 ( 2020-1), p. 1-20
Type of Medium:
Online Resource
ISSN:
0168-7433
,
1573-0670
DOI:
10.1007/s10817-018-09501-z
Language:
English
Publisher:
Springer Science and Business Media LLC
Publication Date:
2020
detail.hit.zdb_id:
1479376-3
SSG:
7,11
SSG:
17,1
Bookmarklink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |