skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: Representação De Conhecimento remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Parallel, Distributed and Multiagent Production Systems
Parallel, Distributed and Multiagent Production Systems
Parallel, Distributed and Multiagent Production Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel, Distributed and Multiagent Production Systems

Toru Ishida

Springer Berlin Heidelberg 1994

Acesso online. A biblioteca também possui exemplares impressos.

2
Automated Modeling of Physical Systems
Automated Modeling of Physical Systems
Automated Modeling of Physical Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Modeling of Physical Systems

P. Pandurang Nayak

Springer Berlin Heidelberg 1995

Acesso online. A biblioteca também possui exemplares impressos.

3
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory Reasoning in Connection Calculi

Peter Baumgartner Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Acesso online. A biblioteca também possui exemplares impressos.

4
Trends in natural language generation an artificial intelligence perspective ; selected papers [of the] fourth european workshop, ewnlg'93, held in pisa, italy, abril 28-30, 1993
Trends in natural language generation an artificial intelligence perspective ; selected papers [of the] fourth european workshop, ewnlg'93, held in pisa, italy, abril 28-30, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Trends in natural language generation an artificial intelligence perspective ; selected papers [of the] fourth european workshop, ewnlg'93, held in pisa, italy, abril 28-30, 1993

European Workshop on Natural Language Generation (4. 1993 Pisa, It) Giovanni Adorni; Michael Zock

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.1036 e.1 ) e outros locais(Acessar)

5
Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings
Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Executable modal and temporal logics ijcai'93 workshop, chambery, france, august 28, 1993, proceedings

Workshop on Executable Modal and Temporal Logics (1993 Chambery, Fr) Michael Fisher; Richard Owens; International Joint Conference on Artificial Intelligence (1993 Chambery, Fr)

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.897 e.1 ) e outros locais(Acessar)

6
Symbolic and quantitative approaches to reasoning and uncertainty proceedings
Symbolic and quantitative approaches to reasoning and uncertainty proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic and quantitative approaches to reasoning and uncertainty proceedings

European Conference on Symbolic and Quantitative Approaches To Reasoning and Uncertainty (1995 Fribourg, Se) Christine Froidevaux; Jurg Kohlas

Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.946 e.1 ) e outros locais(Acessar)

7
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Non-Standard Inferences in Description Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Non-Standard Inferences in Description Logics

Ralf Küsters

Springer Berlin Heidelberg 2001

Acesso online. A biblioteca também possui exemplares impressos.

8
Foundations of computer science potential, theory, cognition
Foundations of computer science potential, theory, cognition
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of computer science potential, theory, cognition

Wilfried Brauer; C Freksa; Matthias Jantzen 1948-; R Valk (Rüdiger)

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1337 ) e outros locais(Acessar)

9
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, proceedings

AISC'98 (Conference) (1998 Plattsburgh, N.Y.) Jacques Calmet; Jan Plaza; International Conference on Artificial Intelligence and Symbolic Mathematical Computation (4th 1998 Plattsburgh, N.Y.)

Carbonell, G, ed; Siekmann, J, ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Berlin London Springer c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1476 ) e outros locais(Acessar)

10
Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic and quantitative approaches to reasoning with uncertainty 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (6th 2001 Toulouse, France) Salem Benferhat 1966-; Philippe Besnard

New York Springer c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2143 ) e outros locais(Acessar)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.