Proofs in Context (1994)

by G. Attardi , S. Di Marco , D. Salvi , F. Sebastiani , Istituto Di Elaborazione
Venue:In Principles of Knowledge Representation and Reasoning
Citations:27 - 4 self

Document Versions

Proofs in Context –G. Attardi, S. Di Marco, D. Salvi, F. Sebastiani, Istituto Di Elaborazione — 1994 — In Principles of Knowledge Representation and Reasoning
Categorisation by context –G. Attardi, S. Di Marco, D. Salvi, F. Sebastiani — 1998 — Journal of Universal Computer Science
Categorisation by Context –Giuseppe Attardi, Sergio Di Marco, Davide Salvi — 1998
Categorisation by Context –Attardi Di Marco, S. Di Marco, D. Salvi, F. Sebastiani — 1998
Categorisation by Context –Giuseppe Attardi, S. Di Marco, D. Salvi, Fabrizio Sebastiani, F. Sebastiani, Istituto Di Elaborazione — 1998
Proofs in Context –Giuseppe Attardi, Maria Simi — 1994 — In Principles of Knowledge Representation and Reasoning
Categorisation by Context –Attardi Di Marco, S. Di Marco, D. Salvi, F. Sebastiani — 1998 — In Principles of Knowledge Representation and Reasoning