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:
assunto:
Lògica Formal
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Goal-Directed Proof TheoryGabbay, Dov M ; Olivetti, NDordrecht: Springer Netherlands 2000Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Formal Aspects of ContextBonzon, Pierre ; Cavalcanti, Marcos ; Nossum, RolfDordrecht: Springer Netherlands 2000Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science (1)
- Logic, Symbolic And Mathematical (1)
- Context (1)
- Congresses (1)
- Programming Languages (1)
- Programming Languages, Compilers, Interpreters (1)
- Artificial Intelligence (1)
- Bevisteori (1)
- Computer Simulation (1)
- Mathematical Logic (1)
- Kanıtlama Teorisi (1)
- Compilers (1)
- Logica Matematica Non Classica (1)
- Mathematical Logic And Foundations (1)
- Beweistheorie (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 