skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Categorical logic and type theory
Material Type:
Livro
Adicionar ao Meu Espaço

Categorical logic and type theory

Bart Jacobs

Amsterdam New York Elsevier Science 2001

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.03 J17c ) e outros locais(Acessar)

2
Categorical Logic and Type Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Categorical Logic and Type Theory

Bart Jacobs

Elsevier 1998

Acesso online

3
Introduction to Coalgebra: Towards Mathematics of States and Observation
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to Coalgebra: Towards Mathematics of States and Observation

Bart Jacobs

Cambridge University Press 2017

Acesso online

4
Foundations of Software Science and Computation Structures
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of Software Science and Computation Structures

Christof Löding Bart Jacobs Christof Löding

Springer Berlin Heidelberg 2016

Acesso online

5
Formal Methods for Open Object-Based Distributed Systems V
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Open Object-Based Distributed Systems V

Bart Rensink, Arend Jacobs Arend Rensink

Springer US 2002

Acesso online

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Modifying the Medical Research Council grading system through Rasch analyses

Els K. Vanhoutte Catharina G Faber; Sonja I. van Nes; Bart Casper Jacobs; Pieter Antoon van Doorn; Rinske van Koningsveld; David Reid Cornblath; Anneke Jelly van der Kooi; Elisabeth Aviva Cats; Leonard Hendrik van den Berg; Nicolette Claudia Notermans; Willem Lodewijk van der Pol; Mieke Catharina Elisabeth Hermans; Nadine Anna Maria Elisabeth van der Beek; Kenneth Craig Gorson; Marijke Eurelings; Jeroen Engelsman; Hendrik Boot; Ronaldus Jacobus Meijer; Giuseppe Lauria; Alan Tennant; Ingemar S. J Merkies; Amilton Antunes Barreira; PeriNomS Study Group

Brain: a Journal of Neurology Oxford v. 135, pt. 5, p. 1639\20131649, 2012

Oxford 2012

Localização: FMRP - Fac. Medicina de Ribeirão Preto    (pcd 2483646 Estantes Deslizantes )(Acessar)

7
By the Grace of God
Material Type:
Livro
Adicionar ao Meu Espaço

By the Grace of God

Jef Jacobs Bart Veldhoen; Kenny Veldhoen; Barend Verkerk

Leiden University Press 2021

Acesso online

8
A guide to demand-driven agricultural research the client-oriented research management approach ; rural service delivery for agricultural development
Material Type:
Livro
Adicionar ao Meu Espaço

A guide to demand-driven agricultural research the client-oriented research management approach ; rural service delivery for agricultural development

Willem Heemskerk; Jacob Kampem; Ninatubu Lema; Doré Guindo; Chira Shouten; Zainab Semgalawe; Hugo Verkuijl; Bart de Steenhuijsen Piters; Petra Pennikhoff; Institut D'economie Rurale, Mali; Department of Research and Development, Tanzania

Amsterdam Royal Tropical Institute, KIT Publishers 2003

Localização: ESALQ - Biblioteca LES    (630.72 H458g 85943 )(Acessar)

9
The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule
Material Type:
Artigo
Adicionar ao Meu Espaço

The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule

Jacobs, Bart

The Journal of artificial intelligence research, 2019-01, Vol.65, p.783-806 [Periódico revisado por pares]

San Francisco: AI Access Foundation

Texto completo disponível

10
Introduction to Coalgebra: Towards Mathematics of States and Observation
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to Coalgebra: Towards Mathematics of States and Observation

Jacobs, Bart

Cambridge: Cambridge University Press 2016

Sem texto completo

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.436)
  2. Book Chapters  (171)
  3. Anais de Congresso  (150)
  4. Reports  (48)
  5. Outros  (34)
  6. Livros  (32)
  7. Conjunto de Dados  (17)
  8. Recursos Textuais  (13)
  9. Imagens  (13)
  10. Dissertações  (10)
  11. Resenhas  (8)
  12. Web Resources  (4)
  13. magazinearticle  (2)
  14. Verbetes  (1)
  15. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1991  (13)
  2. 1991Até1998  (70)
  3. 1999Até2006  (208)
  4. 2007Até2015  (691)
  5. Após 2015  (961)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.899)
  2. Japonês  (128)
  3. Holandês  (32)
  4. Francês  (7)
  5. Alemão  (5)
  6. Espanhol  (3)
  7. Norueguês  (1)
  8. Português  (1)
  9. Chinês  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jacobs, B
  2. Tennant, A
  3. Veldhoen, B
  4. Kampem, J
  5. Barreira, A

Buscando em bases de dados remotas. Favor aguardar.