Journal of Automated Reasoning

Journal Abbreviation: J AUTOM REASONING
ISSN: 0168-7433
Publisher: Springer Verlag (Germany)

Publications (4)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract