Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (4)
2. Anais de Congresso  (1)
3. Book Chapters  (1)
4. Mais opções 

Assunto 

1. Computer Science, Artificial Intelligence  (4)
2. Logic  (3)
3. Science & Technology - Other Topics  (3)
4. Symbolic And Algebraic Manipulation  (2)
5. Computer Science, Theory & Methods  (2)
6. Artificial Intelligence  (2)
7. Complexity  (2)
8. Polynomial Interpretations  (2)
9. Knuth-Bendix Order  (2)
10. Mathematical Logic And Formal Languages  (2)
11. Mathematical Logic And Foundations  (2)
12. Associative-Commutative Theory  (1)
13. Applied Sciences  (1)
14. Arithmetic  (1)
15. Automated Reasoning  (1)
16. Mais opções 

Data de Publicação 

1. Antes de2008  (1)
2. 2008Até2008  (1)
3. 2009Até2009  (1)
4. 2010Até2013  (2)
5. Após 2013  (2)
6. Mais opções 

Base de Dados/Biblioteca 

1. Science Citation Index Expanded (Web of Science)  (4)
2. Lecture Notes in Computer Science Archive (through to 1996)  (2)
3. EZB Electronic Journals Library  (2)
4. SpringerLINK Lecture Notes in Computer Science (2015)  (2)
5. Journals@Ovid  (2)
6. Springer Nature - Springer Journals All 2022  (2)
7. SpringerLink (Online service)  (2)
8. IngentaConnect Journals  (1)
9. BACON - Mir@bel - GLOBAL_LIBRESACCES  (1)
10. ROAD: Directory of Open Access Scholarly Resources  (1)
11. AUTh Library subscriptions: Cambridge Journals Online  (1)
12. SpringerOpen  (1)
13. DOAJ Directory of Open Access Journals  (1)
14. Mais opções 

Nome da Publicação 

1. Journal Of Automated Reasoning  (2)
2. Logical Methods In Computer Science  (1)
3. Theory And Practice Of Logic Programming  (1)
4. Mais opções