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 |