Results
|
1.
|
|
|
2.
|
|
|
3.
|
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.
Found in Open Library:
|
|
4.
|
|
|
5.
|
|
|
6.
|
Artificial intelligence II: methodology, systems, applications : proceedings of the second International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA '86) Vama, Bulgaria, 16-19 September, 1986/ edited by Ph. Jorrand and V. Sgurev. by
- Jorrand, Ph. (Philippe)
- Sgurev, Vasil
- Association pour la promotion de l'informatique avancée
- International Conference on Artificial Intelligence: Methodology, Systems, Applications (2nd: 1986: Varna, Bulgaria)
Publication details: Amsterdam; Oxford: North-Holland, 1987
Availability: Items available for loan: Castorina (1)Call number: 006.3 A791 1987 IMPA.
Found in Open Library:
|
|
7.
|
|
|
8.
|
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.
Found in Open Library:
|
|
9.
|
|
|
10.
|
Artificial intelligence.
Publication details: Amsterdam: North-Holland,
Availability: Items available for loan: Castorina (228).
Found in Open Library:
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
Information technologies in medicine / edited by Metin Akay, Andy Marsh.. by
- Akay, Metin
- Marsh, Andy
- IEEE Xplore (Online Service) [distributor.]
- John Wiley & Sons [publisher.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: [Hoboken, New Jersey] : Wiley, 2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2001]
Other title: - Medical simulation and education
Availability: No items available.
Found in Open Library:
|
|
15.
|
Algorithmic and artificial intelligence methods for protein bioinformatics / edited by Yi Pan, Jianxin Wang, Min Li. by
- Pan, Yi, 1960- [�aediteur intellectuel.]
- Wang, Jianxin, 1969- [�aediteur intellectuel.]
- Li, Min, 1978- [�aediteur intellectuel.]
- IEEE Xplore (Online Service) [distributor.]
- Wiley [publisher.]
- Safari Tech Books Online
Series: Wiley series on bioinformatics: Computational techniques and engineering ; 22
Edition: First edition.
Material type: Text; Format:
available online
Publisher: Hoboken, New Jersey : Wiley : IEEE Computer Society, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]
Availability: No items available.
Found in Open Library:
|
|
16.
|
Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I / edited by Murilo C. Naldi, Reinaldo A. C. Bianchi. by
- Naldi, Murilo C [editor.]
- Bianchi, Reinaldo A. C [editor.]
- SpringerLink (Online service)
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 14195.
Edition: 1st ed. 2023.
Source: Springer Nature eBook
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland ; Imprint: Springer, 2023
Availability: Items available for loan: Castorina (1)Call number: 006.3 I61 2023 IMPA.
Found in Open Library:
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|