Resultados de 1 a 10 de 18 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
- Recursos Online (16)
- Revistas revisadas por pares (15)
Refinado por:
autor:
Dowek, Gilles
Base de dados/Biblioteca:
Springer Nature - Springer Lecture Notes in Computer Science eBooks
Base de dados/Biblioteca:
Springer Nature - Springer Lecture Notes in Computer Science eBooks
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Decidability, Introduction Rules and AutomataDavis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, AndreiLogic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.97-111 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 2 |
Material Type: Livro
|
|
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, ProceedingsDowek, Gilles Dowek, GillesCham: Springer Nature 2014Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected PapersDowek, Gilles ; Heering, Jan ; Meinke, Karl ; Möller, Bernhard Meinke, Karl ; Heering, Jan ; Dowek, Gilles ; Möller, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 ProceedingsBertot, Yves ; Dowek, Gilles ; Théry, Laurent ; Hirschowitz, André ; Paulin, Christine Hirschowitz, André ; Théry, Laurent ; Paulin, Christine ; Bertot, Yves ; Dowek, GillesBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsArmando, Alessandro ; Baumgartner, Peter ; Dowek, GillesBerlin, Heidelberg: Springer Berlin / Heidelberg 2008Sem texto completo |
| 6 |
Material Type: Livro
|
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 : ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Armando, AlessandroBerlin/Heidelberg: Springer Berlin / Heidelberg 2008Sem texto completo |
| 7 |
Material Type: Capítulo de Livro
|
|
Isar – A Generic Interpretative Approach to Readable Formal Proof DocumentsBertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, LaurentLecture notes in computer science, 1999, Vol.1690, p.167-183 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
A HOL Conversion for Translating Linear Time Temporal Logic to ω-AutomataBertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, LaurentLecture notes in computer science, 1999, Vol.1690, p.255-272 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Three Tactic Theorem ProvingBertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, LaurentLecture notes in computer science, 1999, Vol.1690, p.203-220 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
Integrating Gandalf and HOLBertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, LaurentLecture notes in computer science, 1999, Vol.1690, p.311-321 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 18 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
- Recursos Online (16)
- Revistas revisadas por pares (15)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (12)
- Livros (5)
- Anais de Congresso (1)
-
Mais opções
Assunto
- Artificial Intelligence (15)
- Science & Technology (13)
- Technology (13)
- Computer Science, Theory & Methods (12)
- Applied Sciences (12)
- Exact Sciences And Technology (12)
- Computer Science; Control Theory; Systems (12)
- Problem Solving, Game Playing (10)
- High Order Logic (8)
- Theoretical Computing (7)
- Language Theory And Syntactical Analysis (6)
- Theorem Prove (5)
- Logics And Meanings Of Programs (5)
- Mathematical Logic And Formal Languages (5)
- Software Engineering (4)
- Mathematical Logic (4)
- Machine Theory (4)
- Automatisches Beweisverfahren (3)
- Automata. Logic Controller (3)
-
Mais opções
Data de Publicação
- Antes de1996 (1)
- 1996Até1998 (1)
- 1999Até2001 (12)
- 2002Até2005 (2)
- Após 2005 (4)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (18)
- SpringerLINK Lecture Notes in Computer Science (2015) (18)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (16)
- SpringerLink Books Lecture Notes in Computer Science Archive (14)
- Springer Books Online Archive (14)
- Science Citation Index Expanded (Web of Science) (12)
- IngentaConnect Journals (9)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- Springer Nature - Springer Computer Science eBooks 2014 English International (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 