You are here

Publications

Primary tabs

  1. Fausto Giunchiglia; Paolo Traverso,
    Program Tactics and Logic Tactics,
    Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Springer,
    vol.822,
    , pp. 16-
    30
    , (Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Kiev, Ukraine,
    1994)
  2. Fausto Giunchiglia; Alessandro Armando; Alessandro Cimatti; Paolo Traverso,
    First steps towards provably correct system synthesis of system code,
    CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    , pp. 28-
    30
    , (CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    Nancy, France,
    1994)
  3. Mauro Di Manzo; Enrico Giunchiglia; Paolo Traverso,
    A three level architecture for the modular specification of knowledge and reasoning strategies,
    ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    , pp. 113-
    127
    , (ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    Amsterdam, The Netherlands,
    1994)
  4. Pierluigi Bellutti; Maurizio Boscardin; Nicola Zorzi; R. Bovo; P. Rossetto; Giovanni Soncini,
    Gettering intrinseco in silicio semiconduttore,
    2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    , pp. 585-
    592
    , (2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    Trento, Italy,
    19/09/1994 - 21/09/1994)
  5. Cristiana Armaroli; Alberto Lui; Benno Margesin; Vittorio Zanini; Mario Zen; Alfredo Maglione; Giovanni Soncini,
    Sensori ChemFET per il controllo ambientale,
    2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    , pp. 577-
    584
    , (2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    Trento, Italy,
    19/09/1994 - 21/09/1994)
  6. Adolfo Villafiorita; Roberto Sebastiani,
    Proof planning by abstraction,
    Proceedings of ECAI94 Workshop: From Theorem Provers to Mathematical Assistants,
    Wiley,
    , pp. 15-
    24
    , (Proceedings of ECAI94 Workshop: From Theorem Provers to Mathematical Assistants,
    Amsterdam, The Netherlands,
    08/08/1994)
  7. A. Schizzerotto,
    Aspetti della diseguaglianza nelle società contemporanee,
    Epidemiologia della diseguaglianza nell'infanzia,
    Roma,
    Istituto Italiano di medicina sociale Editore,
    , pp. 25-
    33
    , (Epidemiologia della diseguaglianza nell'infanzia,
    Roma,
    04/11/1994 a 04/12/1994)
  8. J. K. Tang; L. Li; S.Shanker Saxena; A. Puri; A. U. Falster; W. B. Simmons,
    The effects of arsenic doping on the magnetic-properties of CUCR2SE4,
    in «IEEE TRANSACTIONS ON MAGNETICS»
    , (6th Joint Magnetism and Magnetic Materials-Intermag Conference,
    Albuquerque, NM, USA,
    20-23/06/1994)
  9. S.Shanker Saxena; J.K. Tang; Y.S. Lee; C.J. O'Connor,
    Magnetic and magnetotransport properties of granular CU85FE15 prepared by mechanical alloying,
    in «JOURNAL OF APPLIED PHYSICS»
    vol.76,
    n. 10,
    , pp. 6820-
    6822
    , (6th Joint Magnetism and Magnetic Materials-Intermag Conference,
    Albuquerque, NM, USA,
    20-23/06/1994)
  10. A. Perini;F. Ricci,
    Constraint reasoning and interactive planning,
    , (Workshop on Constraint Languages-Systems and their use in Problem Modelling. International Logic Programming Symposium,
    ithaca, New York,
    11/18/1994, 11/19/1994)