skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Mathematical Logic And Formal Languages remover assunto: Symbolic Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning Language in Logic

Cussens, James ; Dzeroski, Saso Džeroski, Sašo ; Cussens, James

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
2
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Stickel, Mark E Stickel, Mark E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
3
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Clarke, Edmund ; Kozen, Dexter Clarke, Edmund ; Kozen, Dexter

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Citações Citado por
4
First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving
Material Type:
Livro 		Adicionar ao Meu Espaço

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

New York, NY: Springer New York 1996

Texto completo disponível

Citações Citado por
5
Logic for Applications
Logic for Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Applications

Nerode, Anil ; Shore, Richard A

New York, NY: Springer 1997

Texto completo disponível

Citações Citado por
6
Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Nerode, Anil ; Matiyasevich, Yu. V Matiyasevich, Yu. V. ; Nerode, Anil

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
7
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H Siekmann, Jörg H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
8
Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings
Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Extensions of Logic Programming: 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

Dyckhoff, Roy Dyckhoff, Roy

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
9
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Logic for Computer Science

Ben-Ari, Mordechai

London: Springer Nature 2012

Texto completo disponível

Citações Citado por
10
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

Pfenning, Frank Pfenning, Frank

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (33)

Data de Publicação 

De até
Refinar
  1. Antes de1990  (8)
  2. 1990Até1994  (10)
  3. 1995Até2002  (20)
  4. 2003Até2009  (52)
  5. Após 2009  (57)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (2)
  2. Italiano  (1)
  3. Alemão  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.