Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Introduction to Montague SemanticsDowty, D. R ; Wall, R ; Peters, SDordrecht: Springer Netherlands 1980Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Essays in Logical Semanticsvan Benthem, JohanDordrecht: Springer Netherlands 1986Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Model Generation for Natural Language Interpretation and AnalysisKonrad, KarstenBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 ProceedingsKapur, Deepak Kapur, DeepakBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Semantics of Natural LanguageDavidson, D ; Harman, Gilbert Davidson, Donald ; Harman, GilbertDordrecht: Springer Netherlands 1973Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Handbook of philosophical logicGabbay, Dov M ; Guenthner, FranzSpringer 1986Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected PapersBörger, E ; Jäger, G ; Kleine Büning, H ; Martini, S ; Richter, M. M Richter, M. M. ; Kleine Büning, H. ; Börger, E. ; Martini, S. ; Jäger, G.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 ProceedingsGuessarian, Irène Guessarian, IrèneBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 ProceedingsBörger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |