Publications of S. Bonamico

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Bonamico S., in the category ALL (or show them all):   (Items found: 6)


1993 | 1991 | 1990 | 1989 | 1988

1993  [top]
  • Bonamico S., Cioni G., Colagrossi A.: An Enhanced Sequent Calculus for Reasoning in a given Domain, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Miola A. ed., Springer-Verlag, 369-373, 1993

1991  [top]

1990  [top]
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for mathematical problem solving, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for the propositional theory., IASI-CNR, R. 289, 04/1990

1989  [top]
  • Bonamico S., Cioni G.: Embedding flexible control strategies into object oriented languages., IASI-CNR, R. 253, 01/1989

1988  [top]
  • Bonamico S., Cioni G.: Embedding Flexible Control Strategies into Object oriented Languages, in the Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes, Mora T. ed., Lecture Notes in Computer Science, 357, Springer-Verlag, 1988
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -