Resultados 1 - 10 de 339 para Búsqueda General
Mostrar solo
- Revistas arbitradas (131)
Refinado por:
materia:
Mathematical Logic And Formal Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Libro
|
|
Logica: Volume 1 Dimostrazioni e modelli al primo ordineAbrusci, Vito Michele ; de Falco, Lorenzo TortoraMilano: Springer MilanTexto completo disponible |
| 2 |
Material Type: Libro
|
|
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 disponible |
| 3 |
Material Type: Libro
|
|
|
| 4 |
Material Type: Libro
|
|
Logica: Volume 1 - Dimostrazioni e Modelli Al Primo OrdineAbrusci, Vito Michele ; Tortora de Falco, LorenzoMilano: Springer Milan 2014Texto completo disponible |
| 5 |
Material Type: Libro
|
|
|
| 6 |
Material Type: Libro
|
|
Logica Universalis: Towards a General Theory of LogicBeziau, Jean-Yves Beziau, Jean-YvesBasel: Birkhäuser 2007Texto completo disponible |
| 7 |
Material Type: Libro
|
|
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 disponible |
| 8 |
Material Type: Libro
|
|
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 disponible |
| 9 |
Material Type: Libro
|
|
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 disponible |
| 10 |
Material Type: Libro
|
|
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 disponible |
Resultados 1 - 10 de 339 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
- Revistas arbitradas (131)
Refinar mis resultados
Tipo de Recurso
- Libros (319)
- Artículos (17)
- Actas de Congreso (3)
-
Más opciones
Materia
- Computer Science (336)
- Mathematical Logic (286)
- Machine Theory (262)
- Artificial Intelligence (228)
- Congresses (203)
- Logic, Symbolic And Mathematical (191)
- Logics And Meanings Of Programs (165)
- Logic Design (165)
- Mathematics (163)
- Computer Logic (152)
- Computers (143)
- Kongress (138)
- Logic (129)
- Logica (122)
- Symbolic Logic (118)
- Algebra Of Logic (118)
- Logic, Universal (118)
- Symbolic And Mathematical Logic (118)
- Mathematical Logic And Foundations (114)
-
Más opciones
Fecha de Publicación
- Antes de1990 (19)
- 1990Hasta1996 (44)
- 1997Hasta2003 (123)
- 2004Hasta2011 (135)
- Después de 2011 (144)
-
Más opciones
Base de Datos/Biblioteca
- Springer Books (317)
- SpringerLINK Lecture Notes in Computer Science (260)
- SpringerLINK Lecture Notes in Computer Science (2015) (234)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (231)
- Springer Books Online Archive (182)
- SpringerLink Books Lecture Notes in Computer Science Archive (171)
- SpringerLINK Lecture Notes in Computer Science (2014) (39)
- Springer Nature - Springer Computer Science eBooks 2013 English International (34)
- SpringerLINK Lecture Notes in Computer Science (2013) (29)
- Springer Nature - Springer Computer Science eBooks 2012 English International (27)
- SpringerLINK Lecture Notes in Computer Science (2012) (24)
- Springer Nature - Springer Computer Science eBooks 2015 English International (21)
- Springer Nature - Springer Computer Science eBooks 2014 English International (20)
- Springer Nature - Springer Journals All 2022 (17)
- Journals@Ovid Complete (17)
- SpringerLink_现刊 (17)
- Science Citation Index Expanded (Web of Science) (14)
- Springer_OA刊 (10)
- IngentaConnect Journals (8)
- Springer Nature - Springer Mathematics and Statistics eBooks 2011 English International (5)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 