Theory Construction in Computational Logic

You are here

TitleTheory Construction in Computational Logic
Publication TypeConference Paper
Year of Publication1991
AuthorsBrogi, A, Mancarella, P, Pedreschi, D, Turini, F
Conference NameICLP Workshop on Construction of Logic Programs
Taxonomy upgrade extras: