| ||||
| ||||
![]() Title:Automated Reasoning with Data Authors:Moshe Vardi Conference:CADE-29 Tags:Automated Reasoning, Data and Herbrand Award Abstract: The standard approach to algorithm development is to focus on a specific problem and develop for it a specific algorithm. Codd's Automated Reasoning with Data ![]() Automated Reasoning with Data | ||||
Copyright © 2002 – 2025 EasyChair |