Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Jornal
|
ChatGPT o robô que mostra como a inteligência artificial pode revolucionar nossas vidasOsvaldo Novais de Oliveira Junior Thiago Alexandre Salgueiro Pardo; Maria das Graças Volpe NunesJornal da USP São Paulo 13 fev. 2023. on-lineSão Paulo 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Planning and Learning by Analogical ReasoningManuela M. VelosoSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Automated Modeling of Physical SystemsP. Pandurang NayakSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Parallel, Distributed and Multiagent Production SystemsToru IshidaSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Mobile Agents: Control AlgorithmsJoachim BaumannSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Tractable Reasoning in Artificial IntelligenceMarco CadoliSpringer Berlin Heidelberg 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Computation for Metaphors, Analogy, and AgentsChrystopher L. Nehaniv Chrystopher L Nehaniv; G Goos; Jörg SiekmannSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Reasoning with Logic ProgrammingJosé Júlio Alferes Luís Moniz PereiraSpringer Berlin Heidelberg 1996Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Automated Deduction in Equational Logic and Cubic CurvesWilliam McCune Ranganathan PadmanabhanSpringer Berlin Heidelberg 1996Acesso online. A biblioteca também possui exemplares impressos. |