A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture).

Anil Nerode

Browse the full LICS paper archive.