Automated Reasoning
Saved in:
Year of Publication: | 2024 |
---|---|
Language: | English |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automated Reasoning
Published: (2024) - Journal of automated reasoning.
-
Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
by: Mikhail, Rana Farid.
Published: (c2010.) -
Organization, Management, and Expert Systems : : Models of Automated Reasoning / / ed. by Michael Masuch.
Published: ([2018]) -
Automated reasoning : international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers / Rajeev Goré ... (eds.)
Published: (2001)