A Wos Challenge Met
A Wos Challenge Met
About this item
Full title
Author / Creator
Publisher
Dordrecht: Springer Netherlands
Journal title
Language
English
Formats
Publication information
Publisher
Dordrecht: Springer Netherlands
Subjects
More information
Scope and Contents
Contents
In his regular column in the AAR Newsletter, Larry Wos typically posed challenges to the automated reasoning community. Some of these challenges concern general research objectives, but several of them concern specific problems relevant to his own experience and attempts to solve especially difficult problems, including open questions, with an auto...
Alternative Titles
Full title
A Wos Challenge Met
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2732140507
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2732140507
Other Identifiers
ISSN
0168-7433
E-ISSN
1573-0670
DOI
10.1007/s10817-021-09614-y
