skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Deduction - CADE-25
Automated Deduction - CADE-25
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction - CADE-25

Felty Aart Middeldorp

Springer International Publishing 2015

Acesso online

2
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming, Artificial Intelligence, and Reasoning

Ken Middeldorp, Aart Voronkov, Andrei McMillan Aart Middeldorp; Andrei Voronkov

Springer Berlin Heidelberg 2013

Acesso online

3
Rewriting Techniques and Applications
Rewriting Techniques and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications

International Conference on Rewriting Techniques and Applications Aart Middeldorp

Springer Berlin Heidelberg 2001

Acesso online

4
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2051 ) e outros locais(Acessar)

5
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer

Berlin u.a. Springer 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3838 ) e outros locais(Acessar)

6
Functional and logic programming
Functional and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming

Fuji International Symposium on Functional and Logic Programming, FLOPS'99, 4 1999 Tsukuba Aart Middeldorp; Taisuke Sato

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1722 )(Acessar)

7
Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Fuji International Symposium on Functional and Logic Programming (4th 1999 Tsukuba Kenkyåu Gakuen Toshi, Japan) Aart Middeldorp 1963-; Taisuke Satåo

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1722 e.1 )(Acessar)

8
Impact of Epstein-Barr virus co-infection on natural acquired Plasmodium vivax antibody response
Impact of Epstein-Barr virus co-infection on natural acquired Plasmodium vivax antibody response
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impact of Epstein-Barr virus co-infection on natural acquired Plasmodium vivax antibody response

Michelle H. F Dias Luiz F. F Guimarães; Matheus G Barcelos Eduardo U. M. Moreira; Maria F. A. do Nascimento; Taís N. de Souza; Camilla V Pires; Talita A. F Monteiro; Jaap M Middeldorp; Irene da Silva Soares; Cor J. F Fontes; Francis Babila Ntumngia; John H Adams; Flora Satiko Kano; Luzia H Carvalho

PLOS Neglected Tropical Diseases San Francisco v. 16, n. 8, p. 1-22 art. e0010305, 2022

San Francisco 2022

Item não circula. Consulte sua biblioteca.(Acessar)

9
The Lean Theorem Prover (System Description)
The Lean Theorem Prover (System Description)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Lean Theorem Prover (System Description)

de Moura, Leonardo ; Kong, Soonho ; Avigad, Jeremy ; van Doorn, Floris ; von Raumer, Jakob

Automated Deduction - CADE-25, p.378-388 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Quantomatic: A Proof Assistant for Diagrammatic Reasoning

Kissinger, Aleks ; Zamdzhiev, Vladimir

Automated Deduction - CADE-25, p.326-336 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.797)
  2. Book Chapters  (197)
  3. Anais de Congresso  (24)
  4. Livros  (12)
  5. Reports  (9)
  6. Conjunto de Dados  (3)
  7. Dissertações  (3)
  8. Imagens  (3)
  9. Web Resources  (2)
  10. Resenhas  (1)
  11. Verbetes  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (36)
  2. 1989Até1996  (47)
  3. 1997Até2004  (258)
  4. 2005Até2013  (588)
  5. Após 2013  (1.126)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.011)
  2. Japonês  (146)
  3. Holandês  (27)
  4. Norueguês  (7)
  5. Alemão  (6)
  6. Francês  (2)
  7. Italiano  (2)
  8. Espanhol  (2)
  9. Russo  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.