Resultados de 1 a 10 de 30 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Logic
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Inquisitive Logic: Consequence and Inference in the Realm of QuestionsCiardelli, IvanoCham: Springer Nature 2022Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Fundamentos lógicos de las ontologías WebBarber, Elsa E. ; Pisano, Silvia ; Romagnoli, Sandra ; De Pedro, Gabriela ; Gregui, Carolina ; Blanco, NancyInformación, cultura y sociedad, 2019-12 (41), p.81-100 [Periódico revisado por pares]Buenos Aires: Instituto de Investigaciones, BibliotecologicasTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
O estatuto da Biolinguística: fundamentos teórico-ontológicos relevantesPenz, Yuri Fernando da Silva ; Ibaños, Ana Maria TRevista virtual de estudos da linguagem, 2018-09, Vol.16 (31), p.63Lisbon: ReVelTexto completo disponível |
| 4 |
Material Type: Livro
|
|
Advances in Proof-Theoretic Semantics (Volume 43.0)Piecha, Thomas ; Schroeder-Heister, Peter Piecha, Thomas ; Schroeder-Heister, PeterCham: Springer Open 2015Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Text Analysis Pipelines: Towards Ad-hoc Large-Scale Text MiningWachsmuth, HenningCham: Springer Nature 2015Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Reactive Kripke SemanticsGabbay, Dov MBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected PapersBezhanishvili, Guram ; Löbner, Sebastian ; Marra, Vincenzo ; Richter, Frank Richter, Frank ; L'bner, Sebastian ; Bezhanishvili, Guram ; Marra, VincenzoNetherlands: Springer Nature 2013Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Reasoning Web: Semantic Technologies for Advanced Query Answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. ProceedingsEiter, Thomas ; Krennwallner, Thomas Eiter, Thomas ; Krennwallner, ThomasNetherlands: Springer Nature 2012Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
Representación de relaciones semánticas entre problemas y objetivos mediante lógica de predicadosMoreno, David Andrés ; Acevedo, Juan Fernando ; Zapata Jaramillo, Carlos MarioRevista EIA, 2011 (15), p.61-72 [Periódico revisado por pares]Escuela de Ingeniería de AntioquíaTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Color, context, and compositionalityKennedy, Christopher ; McNally, LouiseSynthese (Dordrecht), 2010-05, Vol.174 (1), p.79-98 [Periódico revisado por pares]Dordrecht: SpringerTexto completo disponível |
Resultados de 1 a 10 de 30 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Livros (25)
- Artigos (4)
- Produções Acadêmicas (1)
-
Mais opções
Assunto
- Semantics (22)
- Logic, Symbolic And Mathematical (21)
- Semántica (16)
- Mathematical Logic (14)
- Philosophy (13)
- Language And Languages (13)
- Sémantique (12)
- Formal Semantics (12)
- Linguistics (12)
- Semantik (11)
- Semiology (11)
- Meaning (11)
- Semasiology (11)
- Mathematics (10)
- Information Theory (10)
- Lexicology (10)
- Comparative Linguistics (10)
- Computer Science (9)
- Semiotics (9)
- Lógica Matemática (4)
- Lógica Simbólica (2)
- Lógica Simbólica (2)
- Lógica Matemática (2)
- Semântica Formal (2)
- Formal Languages (2)
- Lógica Matemática (Dissertação Mestrado) (1)
- Nonclassical (1)
- Lógica Simbólica E Matemática (1)
- Predicate (1)
- Formal Languages (1)
- Linguagens Formais - Semântica (1)
- Sistemas Lógicos Não Clássicos (Dissertação Mestrado) (1)
- Linguagens Formais (1)
- Lógica Matemática Não-Clássica (1)
- Predicate (1)
- Proposition (Logic) (1)
- Formal Languages - Semantics (1)
- Symbolic And Mathematical (1)
- Lógica Simbólica E Matemática (1)
- Symbolic And Mathematical (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1983 (7)
- 1983Até1989 (7)
- 1990Até1996 (10)
- 1997Até2012 (11)
- Após 2012 (9)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (20)
- Springer Books Online Archive (14)
- Lecture Notes in Computer Science Archive (through to 1996) (6)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
- IngentaConnect Journals (2)
- ROAD: Directory of Open Access Scholarly Resources (2)
- SpringerLink Fully Open Access Books (2)
- DOAB: Directory of Open Access Books (2)
- Springer Nature - Springer Computer Science eBooks 2013 English International (2)
- Dialnet (2)
- ScienceDirect All Access ebooks (2)
- ScienceDirect eBooks (2)
- EZB Electronic Journals Library (2)
- DOAJ Directory of Open Access Journals (2)
- OAPEN (2)
- Springer Nature - Springer Journals All 2022 (1)
- Springer Nature - Springer Mathematics and Statistics eBooks 2016 English International (1)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1)
-
Mais opções
Idioma
- Inglês (27)
- Português (3)
- Espanhol (2)
- Indeterminado (1)
- Alemão (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 