2 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Base de dados/Biblioteca:
Elsevier ScienceDirect eBook - All Access Books
assunto:
Mathematics
Inteligência Artificial
Inteligencia Artificial
assunto:
Mathematics
Inteligência Artificial
Inteligencia Artificial
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic SystemsZeigler, Bernard PSan Diego: Elsevier Science & Technology 1990Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Symbolic Logic and Mechanical Theorem ProvingChang, Chin-Liang ; Lee, Richard Char-TungSan Diego: Elsevier Science & Technology 1973Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Digital Computer Simulation (1)
- Computability (1)
- Congresses (1)
- Demonstração Automática De Teoremas (1)
- Demostración Automática De Teoremas (1)
- Automatic Theorem Proving (1)
- Computers (1)
- Deduction And Theorem Proving (1)
- Devs (1)
- Automatisches Beweisverfahren (1)
- Analyse Programme (1)
- Demonstration Automatique (1)
- Automatyczne Dowodzenie Twierdzeń (1)
- Computerized Simulation (1)
- Beweistheorie (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 