Universal Quantification by Case Analysis

You are here

TitleUniversal Quantification by Case Analysis
Publication TypeConference Paper
Year of Publication1990
AuthorsBrogi, A, Mancarella, P, Pedreschi, D, Turini, F
Conference NameECAI
Taxonomy upgrade extras: