Resultados de 1 a 10 de 54 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 ProceedingsGottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, DanieleBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Wright, Joakim von ; Grundy, Jim ; Harrison, John van Leeuwen, Jan ; Harrison, John ; Goos, Gerhard ; Hartmanis, Juris ; von Wright, Joakim ; Grundy, JimBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected PapersDybjer, Peter ; Nordström, Bengt ; Smith, Jan Nordström, Bengt ; Dybjer, Peter ; Smith, JanBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. ProceedingsKahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Isabelle: A Generic Theorem ProverPaulson, Lawrence C Paulson, Lawrence C.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 ProceedingsVoronkov, Andrei Voronkov, AndreiBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
| 7 |
Material Type: Livro
|
|
First-Order Logic and Automated Theorem ProvingFitting, MelvinNew York, NY: Springer New York 1996Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 ProceedingsGottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, DanieleBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Handbook of Tableau MethodsD'Agostino, M ; Gabbay, Dov M ; Hähnle, Reiner ; Posegga, JDordrecht: Springer Netherlands 1999Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 ProceedingsPfenning, Frank Pfenning, FrankBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
Resultados de 1 a 10 de 54 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 (51)
- Logic, Symbolic And Mathematical (50)
- Mathematical Logic (45)
- Mathematical Logic And Formal Languages (44)
- Artificial Intelligence (42)
- Machine Theory (34)
- Automatisches Beweisverfahren (31)
- Congresses (29)
- Démonstration Automatique (25)
- Automatic Theorem Proving -- Congresses (23)
- Théorèmes (22)
- Demostración Automática De Teoremas (20)
- Mathematics (19)
- Formal Languages And Automata Theory (18)
- Logics And Meanings Of Programs (17)
- Logic Design (17)
- Algebra Of Logic (15)
- Logic, Universal (15)
-
Mais opções
Data de Publicação
- Antes de1987 (5)
- 1987Até1994 (6)
- 1995Até1999 (20)
- 2000Até2005 (38)
- Após 2005 (9)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (51)
- Springer Books Online Archive (50)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (45)
- SpringerLink Books Lecture Notes in Computer Science Archive (45)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (35)
- SpringerLINK Lecture Notes in Computer Science (2015) (35)
- Science Citation Index Expanded (Web of Science) (3)
- Journals@Ovid Ovid Full Text (3)
- SpringerLink Journals - AutoHoldings (3)
- Springer Nature - Springer Journals All 2022 (3)
- Springer Nature - Springer Medicine eBooks 2005 English International (1)
- IngentaConnect Journals (1)
- Springer Nature - Springer Mathematics and Statistics eBooks 2011 English International (1)
-
Mais opções
Idioma
- Japonês (3)
- Alemão (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 