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

Show all in one page (slower)

Book as Editor
Stochastic partial differential equations and applications. II

G. Da Prato, L. Tubaro (a cura di)
Berlin: Springer-Verlag, Berlin, 1989, 258 p. - (Lecture Notes in Mathematics; 1390). - ISBN: 3-540-51510-0

Journal Article
An Adaptive Real-Time Spectrum Analysis Architecture

C. Narduzzi, C. Offelli, D. Petri
in MEASUREMENT, v. 7, n. 4 (1989), p. 163-170. - DOI: 10.1016/0263-2241(89)90012-2

Conference
DSP-Based Multipurpose Instrumentation

C. Narduzzi, C. Offelli, D. Petri
1989, p. 185-190. Atti di: IFAC Symp. Low Cost Autom. Tech., Comp. Instrum. Appl., Milano-Italia, 8-10 Novembre 1989

Conference
A DSP Based Instrumentation for Electrical Power Measurement

C. Offelli, D. Petri
1989. Atti di: IMEKO TC-4 3-th Inter. Symp. on Meas. in Electrical and Electronic Power Systems, Zurigo-Svizzera, 20-22 Settembre 1989

Conference
Reflection in Constructive and Non-Constructive Automated Reasoning

F. Giunchiglia, A. Smaill
in Meta-Programming in Logic Programming, Cambridge, Mass. ; London: MIT press, 1989, p. 123-140 -(Logic Programming, ISSN 1061-0464). - ISBN: 0-262-51047-2. Atti di: Workshop on Metaprogramming in Logic Programming (META 88), University of Bristol, 22-24 June 1988

Journal Article
FUR: Understanding FUnctional Reasoning

F. Giunchiglia, D. Dimanzo, E. Trucco, F. Ricci
in INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, v. 4, (1989), p. 431-457

Journal Article
Ragionamento non monotono: metodologie e prospettive di ricerca

F. Giunchiglia, D. Tezza, E. Giunchiglia
in AIIA NOTIZIE, v. 2, n. 2 (1989), p. 9-26

Conference
Abstract theorem proving

F. Giunchiglia, T. Walsh
: Morgan Kaufmann, 1989, p. 372-377. Atti di: 11th international joint conference on artificial intelligence (IJCAI'89), Detroit, Mich., 20-25 August 1989

Conference
Abstracting into inconsistent spaces (or the false proof problem)

F. Giunchiglia, T. Walsh
: Cenfor international books, 1989, p. 233-239. Atti di: 1. congresso della associazione italiana per l'intelligenza artificiale (AI*IA 89), Trento, 8-10 novembre 1989

Conference
Theorem proving with definitions

F. Giunchiglia, T. Walsh
: Pitman & Morgan Kaufmann, 1989, p. 175-183. Atti di: 7th conference of the Society for the study of artificial intelligence and simulation of behaviour (AISB'89), University of Sussex, 18-21 April 1989