hide
Title:
Journal of Automated Reasoning
Source Genre:
Journal
Creator(s):
Kambhampati, Subbarao1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
New York, NY : Springer
Pages:
-
Volume / Issue:
58 (3)
Sequence Number:
-
Start / End Page:
341 - 362
Identifier:
ISSN: 0168-7433
CoNE: https://pure.mpg.de/cone/journals/resource/954926965948