Resultados de 1 a 10 de 319 para Busca Geral
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
|
|
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 ProceedingsStickel, Mark E Stickel, Mark E.Berlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
| 2 |
Material Type: Livro
|
|
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980Bibel, Wolfgang ; Kowalski, Robert Bibel, Wolfgang ; Kowalski, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
| 3 |
Material Type: Livro
|
|
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 ProceedingsSiekmann, Jörg H Siekmann, Jörg H.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsAit Ameur, Yamine ; Schewe, Klaus-Dieter Schewe, Klaus-Dieter ; Ait Ameur, YamineNetherlands: Springer Nature 2014Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Advances in Computational Intelligence: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. ProceedingsGreco, Salvatore ; Coletti, Giulianella ; Bouchon-Meunier, Bernadette ; Fedrizzi, MarioNetherlands: Springer Nature 2012Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th BirthdayEiter, Thomas ; Strass, Hannes ; Truszczyski, Mirosaw ; Woltran, Stefan Truszczyński, Mirosław ; Eiter, Thomas ; Strass, Hannes ; Woltran, StefanCham: Springer Nature 2015Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's WorkPereira, Luiz Carlos ; Haeusler, Edward ; de Paiva, Valeria Haeusler, Edward ; de Paiva, Valeria ; Pereira, Luiz Carlos ; Haeusler, Edward Hermann ; Pereira, Luiz Carlos ; de Paiva, ValeriaDordrecht: Springer Nature 2014Texto completo disponível |
| 8 |
Material Type: Livro
|
|
AIIA 2003: advances in artificial intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003 : proceedingsCappelli, Amedeo ; Turini, FrancoSpringer 2006Texto completo disponível |
| 9 |
Material Type: Livro
|
|
AIIA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, ProceedingsBaldoni, Matteo ; Baroglio, Cristina ; Boella, Guido ; Micalizio, Roberto Baldoni, Matteo ; Boella, Guido ; Baroglio, Cristina ; Micalizio, RobertoNetherlands: Springer Nature 2013Texto completo disponível |
| 10 |
Material Type: Livro
|
|
AIIA 2015 Advances in Artificial Intelligence: XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, ProceedingsGavanelli, Marco ; Lamma, Evelina ; Riguzzi, Fabrizio Lamma, Evelina ; Gavanelli, Marco ; Riguzzi, FabrizioNetherlands: Springer Nature 2015Texto completo disponível |
Resultados de 1 a 10 de 319 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (316)
- Mathematical Logic (281)
- Machine Theory (260)
- Artificial Intelligence (213)
- Congresses (202)
- Logic, Symbolic And Mathematical (185)
- Logics And Meanings Of Programs (164)
- Logic Design (164)
- Mathematics (157)
- Computer Logic (151)
- Computers (142)
- Kongress (137)
- Logica (122)
- Logic (120)
- Symbolic Logic (115)
- Algebra Of Logic (115)
- Logic, Universal (115)
- Symbolic And Mathematical Logic (115)
- Formal Languages And Automata Theory (100)
-
Mais opções
Data de Publicação
- Antes de1990 (19)
- 1990Até1996 (44)
- 1997Até2003 (123)
- 2004Até2011 (129)
- Após 2011 (127)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (311)
- Lecture Notes in Computer Science Archive (through to 1996) (259)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (230)
- 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 (26)
- SpringerLINK Lecture Notes in Computer Science (2012) (23)
- Springer Nature - Springer Computer Science eBooks 2015 English International (21)
- Springer Nature - Springer Computer Science eBooks 2014 English International (20)
- 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: 