1. A. Cambiaso; S. Chiarugi; M. Grattarola; Leandro Lorenzelli; Alberto Lui; Benno Margesin; Sergio Martinoia; Vittorio Zanini; Mario Zen,
    An H+-Fet Based System for the On-Line Detection of Micro-Organismis in Waters,
    in «SENSORS AND ACTUATORS. B, CHEMICAL»,
    vol. 34,
    1996
    , pp. 245 -
    251
  2. Maurizio Dapor,
    Elastic scattering calculations for electrons and positrons in solid targets,
    in «JOURNAL OF APPLIED PHYSICS»,
    vol. 79,
    1996
    , pp. 8406 -
    8411
  3. Fausto Giunchiglia; Paolo Traverso,
    Program Tactics and Logic Tactics,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 17,
    n. 3-4,
    1996
    , pp. 235 -
    259
  4. Fausto Giunchiglia; E. Giunchiglia; T. Costello; Paolo Bouquet,
    Dealing with Expected and Unexpected Obstacles,
    in «JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE»,
    vol. 8,
    n. 2,
    1996
    , pp. 173 -
    190
  5. Alessandro Cimatti; Paolo Traverso,
    Computational Reflection via Mechanized Logical Deduction,
    in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS»,
    vol. 11,
    n. 5,
    1996
    , pp. 279 -
    293
  6. Stefano Messelodi; Carla Maria Modena,
    in «PATTERN RECOGNITION LETTERS»,
    vol. 17,
    n. 1,
    1996
    , pp. 47 -
    56
  7. Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti,
    Visual Representation of Natural Language Scene Descriptions,
    in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS»,
    vol. 26,
    n. 8,
    1996
    , pp. 279 -
    293
  8. R. Battiti; Gian Pietro Tecchiolli,
    The Continuous Reactive Tabu Search: Blending Combinatorial Optimization Stochastic Search for Global Optimzation,
    1996
    , pp. 153 -
    188
  9. M. Kaufmann; P. Pecchiari,
    Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem,
    1996
    , pp. 181 -
    222
  10. Paolo Bresciani,
    The Challenge of Integrating Knowledge Representation and Databases,
    1996

Pages