skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro
Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

Acesso online. A biblioteca também possui exemplares impressos.

2
Linear Logic in Computer Science
Linear Logic in Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Linear Logic in Computer Science

William Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.

Cambridge Cambridge University Press 2004

Acesso online. A biblioteca também possui exemplares impressos.

3
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Learning Language in Logic

James Cussens James Cussens; Sašo Džeroski

Springer Berlin Heidelberg 2000

Acesso online. A biblioteca também possui exemplares impressos.

4
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro
Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

5
Programming with constraints an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Programming with constraints an introduction

Kim Marriott Peter J Stuckey

Cambridge, Mass. MIT Press c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68T10.05 M359pc e.1 ) e outros locais(Acessar)

6
Logic in computer science modelling and reasoning about systems
Material Type:
Livro
Adicionar ao Meu Espaço

Logic in computer science modelling and reasoning about systems

Michael Huth Mark Ryan

Cambridge u.a Cambridge University Press 2004

Localização: IME - Inst. Matemática e Estatística    (QA11.7 H979L 2.ed. e.8 )(Acessar)

7
Dynamic logic
Material Type:
Livro
Adicionar ao Meu Espaço

Dynamic logic

David Harel 1950- Dexter Kozen 1951-; Jerzy Tiuryn

Cambridge, Mass MIT Press 2000

Localização: IME - Inst. Matemática e Estatística    (QA860 H275d )(Acessar)

8
What is a logical system?
Material Type:
Livro
Adicionar ao Meu Espaço

What is a logical system?

Dov M Gabbay 1945-

Oxford Clarendon Press New York Oxford University Press 1994

Localização: IME - Inst. Matemática e Estatística    (QA9.C3 G112w )(Acessar)

9
Constraint satisfaction in logic programming
Material Type:
Livro
Adicionar ao Meu Espaço

Constraint satisfaction in logic programming

Pascal Van Hentenryck

Cambridge, Mass. MIT Press c1989

Localização: IME - Inst. Matemática e Estatística    (QA754 V255c )(Acessar)

10
Discrete structures, logic, and computability
Material Type:
Livro
Adicionar ao Meu Espaço

Discrete structures, logic, and computability

James L. Hein

Sudbury, Mass. Jones and Bartlett Publishers c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 H364d3 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (20)

Data de Publicação 

De até
  1. Antes de1991  (9)
  2. 1991Até1994  (14)
  3. 1995Até1998  (15)
  4. 1999Até2003  (21)
  5. Após 2003  (31)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.