Rusinowitch, Michael

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Automated reasoning:second international joint conference,IJCAR 2004,Cork by: Basin, David; Rusinowitch, Michael (Language materials, printed)

Subjects