Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Conference
Proving properties of logic programs: a progress report

A. Bundy, D. Sannella, R. Desimone, F. Giunchiglia, F. Van Harmelen, J. Hesketh, P. Madden, A. Smaill, A. Stevens, L. Wallen
: IEE, 1988, p. 131-134. Atti di: UK IT 88, Swansea, 1988

Journal Article
NALIG: un sistema per la generazione di scene tridimensionali

C. Ferrari, F. Giunchiglia, M. Pilotto
in SISTEMI E AUTOMAZIONE, v. 34, (1988), p. 37-46

Conference
Building complex derived inference rules: a decider for the class of prenex universal-existential formulas

F. Giunchiglia, E. Giunchiglia
: Pitman Publishing, 1988, p. 607-609. Atti di: 8th European conference on artificial intelligence (ECAI'88), Munich, 1-5 August 1988

Essay
A multi-context monotonic axiomatization of inessential non-monotonicity

F. Giunchiglia, R. W. Weyhrauch
in P. Maes, D. Nardi (a cura di), Meta-level architectures and reflection, Amsterdam ; London ; New York, N.Y.: North-Holland, 1988, p. 271-285. - ISBN: 0444703438

Journal Article
A Metatheory of a Mechanized Object Theory

F. Giunchiglia, R. Sebastiani
in ARTIFICIAL INTELLIGENCE, (1988), p. 39-67

Journal Article
Strain accumulation in quasicrystalline solids

F. Nori, M. Ronchetti, V. Elser
in PHYSICAL REVIEW LETTERS, v. 61, n. 24 (1988), p. 2774-2777

Journal Article
Fast sound in liquid Li<SUB>4</SUB>Pb

J. Bosse, G. Jacucci, M. Ronchetti, W. Schirmacher
in ZEITSCHRIFT FUR PHYSIKALISCHE CHEMIE (NEUE FOLGE), n.s., v. 156, (1988), p. 379-384

Journal Article
Some results on stochastic partial differential equations by the stochastic characteristics method

L. Tubaro
in STOCHASTIC ANALYSIS AND APPLICATIONS, v. 1988, 6, n. 2 (1988), p. 217-230

Journal Article
Global mass dependence of the isotope effect in diffusion

M. Marchese, C. Flynn
in PHYSICAL REVIEW. B, CONDENSED MATTER AND MATERIALS PHYSICS, v. 38, (1988), p. 12200-12207

Journal Article
Isotope effect for the vacancy diffusion in b.c.c. alfa-Fe

M. Marchese, G. Jacucci, C. Flynn
in PHILOSOPHICAL MAGAZINE LETTERS, v. 57, n. 1 (1988), p. 25-30