Your search returned 4 results.

Sort
Results
1.
Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference, March 19-22, 1986, Monterey, California/ edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. by
  • Halpern, Joseph Y, 1953-
  • International Business Machines Corporation
  • American Association for Artificial Intelligence
  • United States. Office of Naval Research
  • Association for Computing Machinery
Publication details: Los Altos, Calif.: M. Kaufmann Publishers, c1986
Availability: Items available for loan: Castorina (1)Call number: 510.1 T396 1986 IMPA.

2.
Advances in artificial intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings/ Díbio L. Borges, Celso A.A. Kaestner, eds. by
  • Borges, Díbio L. (Díbio Leandro), 1965-
  • Kaestner, Celso A. A. (Celso Antonio Alves), 1955-
  • Simpósio Brasileiro de Inteligência Artificial (13th: 1996: Curitiba, Brazil)
Series: Lecture notes in computer science ; 1159. | Lecture notes in computer science
Publication details: Berlin; New York: Springer, c1996
Availability: Items available for loan: Castorina (1)Call number: 006.3 A244 1996 IMPA.

3.
Perspectives on big data analysis: methodologies and applications : International Workshop on Perspectives on High-Dimensional Data Analysis II, May 30-June 1, 2012, Centre de Recherches Mathematiques, Universite de Montreal, Montreal/ S. Ejaz Ahmed, editor. by
  • International Workshop on Perspectives on High-Dimensional Data Analysis (2nd: 2012: Montreal, Quebec)
  • Ahmed, S. E (Syed Ejaz), 1957
Series: Centre de Recherches Mathématiques proceedings | Contemporary mathematics (American Mathematical Society) ; v. 622. | Centre de recherches mathématiques proceedings
Publisher: Providence, Rhode Island: Montréal: American Mathematical Society; Centre de recherches mathémathiques, CRM, [2014]Copyright date: c2014
Other title:
  • Big data analysis
Availability: Items available for loan: Castorina (1).

4.
Theoretical approaches to non-numerical problem solving; proceedings./ Edited by R. B. Banerji and M. D. Mesarovic. by
  • Systems Symposium (4th : 1968 : Case Western Reserve University)
  • Banerji, Ranan B, 1928- [ed.]
  • Mesarovic, Mihajlo D [ed.]
  • Case Western Reserve University
Series: Lecture notes in operations research and mathematical systems ; 28
Publication details: Berlin: New York: Springer-Verlag, 1970
Availability: Items available for loan: Castorina (1).

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha