Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. / Sernadas, Amílcar; Sernadas, Cristina; Fiadeiro, José Luiz.

ADT. 1986.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageUndefined/Unknown
Title of host publicationADT
Publication statusPublished - 1986

ID: 7240586