Resultados de 1 a 10 de 122 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
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 ProceedingsFlesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, GiovambattistaBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, ProceedingsBechet, Denis ; Dikovsky, Alexandre Dikovsky, Alexandre ; Bechet, Denis ; Béchet, Denis ; Dikovsky, AlexanderBerlin, Heidelberg: Springer Nature 2012Texto completo disponível |
| 3 |
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 |
| 4 |
Material Type: Livro
|
|
Finite Model TheoryEbbinghaus, Heinz-Dieter ; Flum, JörgHeidelberg: Springer 2005Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ProceedingsMarcinkowski, Jerzy Tarlecki, Andrzej ; Marcinkowski, JerzyBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected PapersRetoré, Christian Retoré, ChristianBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : ProceedingsGoos, G ; Hartmanis, J ; van Leeuwen, J Morrill, Glyn ; de Groote, Philippe ; Retoré, ChristianBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected PapersNielsen, Mogens ; Thomas, Wolfgang Nielsen, Mogens ; Thomas, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 ProceedingsMacNish, Craig ; Pearce, David ; Pereira, Luís Moniz Pereira, Luís Moniz ; MacNish, Craig ; Pearce, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
Resultados de 1 a 10 de 122 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Science (121)
- Mathematical Logic (116)
- Machine Theory (106)
- Mathematics (89)
- Congresses (88)
- Logic (85)
- Wiskunde (78)
- Artificial Intelligence (75)
- Computerwetenschappen (70)
- Information And Communication Technology (70)
- Computer Sciences (70)
- Informatie- En Communicatietechnologie (70)
- Logic Design (69)
- Logics And Meanings Of Programs (68)
- Logic, Symbolic And Mathematical (67)
- Computers (67)
- Computer Logic (64)
- Informatika (62)
-
Mais opções
Data de Publicação
- Antes de1996 (6)
- 1996Até1999 (15)
- 2000Até2003 (22)
- 2004Até2008 (36)
- Após 2008 (88)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (122)
- SpringerLINK Lecture Notes in Computer Science (2015) (98)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (98)
- Lecture Notes in Computer Science Archive (through to 1996) (96)
- Springer Books Online Archive (43)
- SpringerLink Books Lecture Notes in Computer Science Archive (38)
- SpringerLINK Lecture Notes in Computer Science (2014) (37)
- Springer Nature - Springer Computer Science eBooks 2014 English International (20)
- Springer Nature - Springer Computer Science eBooks 2015 English International (18)
- Springer Nature - Springer Computer Science eBooks 2013 English International (16)
- SpringerLINK Lecture Notes in Computer Science (2013) (14)
- Springer Nature - Springer Computer Science eBooks 2012 English International (13)
- SpringerLINK Lecture Notes in Computer Science (2012) (11)
- IngentaConnect Journals (2)
- Springer Nature - Springer Mathematics and Statistics eBooks 2007 English International (2)
- Gale eBooks (2)
- Springer Nature - Springer Mathematics and Statistics eBooks 2014 English International (2)
- Springer Nature - Springer Computer Science eBooks 2011 English International (2)
- Springer Nature - Springer Mathematics and Statistics eBooks 2015 English International (2)
- Springer Nature - Springer Mathematics and Statistics eBooks 2010 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 