( en | de | ru )

 

Disambiguation of "Colagrossi, Attilio"

Author of the publication

copydeleteadd this publication to your clipboard
An Enhanced Sequent Calculus for Reasoning in a Given Domain.

, , and . DISCO, volume 722 of Lecture Notes in Computer Science, page 369-373. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Attilio Celio

Attilio Gambardella

Attilio Tarantola Peloni

Attilio R Gadola

 

Other publications of authors with the same name

An Approach to Class Reasoning in Symbolic Computation., , and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 240-251. Springer, (1996)Linear Algebraic Approach for Computing Polynomial Resultant., , and . EUROCAM, volume 144 of Lecture Notes in Computer Science, page 231-236. Springer, (1982)A Multimedia Personalized Fruition of Figurative Artistic Heritage by a GIS-Based Methodology., and . ICMCS, Vol. 2, page 184-188. IEEE Computer Society, (1999)0-7695-0253-9.An Enhanced Sequent Calculus for Reasoning in a Given Domain., , and . DISCO, volume 722 of Lecture Notes in Computer Science, page 369-373. Springer, (1993)Building a global normalized ontology for integrating geographic data sources., , , , , and . Comput. Geosci., 37 (7): 893-916 (2011)An Information Broker for Integrating Heterogeneous Hydrologic Data Sources: A Web Services Approach., , , , and . CONFENIS, volume 205 of IFIP, page 41-50. Springer, (2006)A Desk-Top Sequent Calculus Machine., , and . AISMC, volume 737 of Lecture Notes in Computer Science, page 224-236. Springer, (1992)Big Numbers p-adic Arithmetic: A Parallel Approach., and . AAECC, volume 357 of Lecture Notes in Computer Science, page 169-180. Springer, (1988)Ontology-Driven Generation of a FederatedSchema for GIS., , , , and . SWAP, volume 314 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Some Guidelines for the Design of Multimedia Systems for the Representation of Figurative Artistic Heritage., and . ICHIM, page 45-50. Archives & Museum Informatics, Pittsburgh, PA, USA, (1999)