Resultados de 1 a 10 de 319 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
Refinado por:
assunto:
Mathematical Logic And Formal Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, ProceedingsLifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, VladimirBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, ProceedingsBaader, Franz Baader, FranzBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ProceedingsBaaz, Matthias ; Voronkov, Andrei Baaz, Matthias ; Voronkov, AndreiBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. ProceedingsArmando, Alessandro Armando, AlessandroBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 5 |
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 |
| 6 |
Material Type: Livro
|
|
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsHermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Learning Language in LogicCussens, James ; Dzeroski, Saso Džeroski, Sašo ; Cussens, JamesBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computation for Metaphors, Analogy, and AgentsNehaniv, Chrystopher L Nehaniv, Chrystopher L.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Grammatical Inference: Algorithms and Applications: 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 ProceedingsAdriaans, Pieter ; Fernau, Henning ; Zaanen, Menno van Adriaans, Pieter ; van Zaanen, Menno ; Fernau, HenningBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Beyond Two: Theory and Applications of Multiple-Valued LogicFitting, Melvin ; Orłowska, Ewa Fitting, Melvin ; Orłowska, EwaHeidelberg: Physica-Verlag HD 2003Texto completo disponível |
Resultados de 1 a 10 de 319 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
Assunto
- Computer Science (317)
- Mathematical Logic (283)
- Machine Theory (271)
- Artificial Intelligence (214)
- Congresses (203)
- Logic, Symbolic And Mathematical (182)
- Logic Design (165)
- Logics And Meanings Of Programs (163)
- Mathematics (154)
- Computer Logic (151)
- Computers (142)
- Kongress (138)
- Logica (120)
- Logic (118)
- Symbolic Logic (115)
- Algebra Of Logic (115)
- Logic, Universal (115)
- Symbolic And Mathematical Logic (115)
- Formal Languages And Automata Theory (108)
-
Mais opções
Data de Publicação
- Antes de1990 (19)
- 1990Até1996 (44)
- 1997Até2003 (126)
- 2004Até2011 (135)
- Após 2011 (123)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (311)
- Lecture Notes in Computer Science Archive (through to 1996) (263)
- SpringerLINK Lecture Notes in Computer Science (2015) (236)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (232)
- Springer Books Online Archive (186)
- SpringerLink Books Lecture Notes in Computer Science Archive (175)
- SpringerLINK Lecture Notes in Computer Science (2014) (38)
- Springer Nature - Springer Computer Science eBooks 2013 English International (33)
- SpringerLINK Lecture Notes in Computer Science (2013) (28)
- Springer Nature - Springer Computer Science eBooks 2012 English International (25)
- SpringerLINK Lecture Notes in Computer Science (2012) (23)
- Springer Nature - Springer Computer Science eBooks 2014 English International (20)
- Springer Nature - Springer Computer Science eBooks 2015 English International (19)
- IngentaConnect Journals (6)
- Gale eBooks (5)
- Springer Nature - Springer Mathematics and Statistics eBooks 2007 English International (4)
- Springer Nature - Springer Mathematics and Statistics eBooks 2014 English International (4)
- Springer Nature - Springer Journals All 2022 (3)
- Springer Nature - Springer Computer Science eBooks 2011 English International (3)
- Science Citation Index Expanded (Web of Science) (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 