skip to main content
Mostrar Somente
Refinado por: assunto: Lógica Matemática 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
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.

3
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.

4
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)

5
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)

6
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material Type:
Livro
Adicionar ao Meu Espaço

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

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

7
Conceptual structures for knowledge creation and communication 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Conceptual structures for knowledge creation and communication 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings

International Conference on Conceptual Structures (11th 2003 Dresden, Germany) Aldo de Moor; Wilfried Lex; Bernhard Ganter

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2746 )(Acessar)

8
Logic for applications
Material Type:
Livro
Adicionar ao Meu Espaço

Logic for applications

Anil Nerode 1932- Richard A Shore 1946-

New York Springer c1997

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

9
Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Constraints in computational logics theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures

Hubert Comon; Claude Marché; Ralf Treinen; ESPRIT CCL Working Group; CCL'99 (1999 Gif-sur-Yvette, France)

Berlin Springer New York c2001

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

10
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Material Type:
Livro
Adicionar ao Meu Espaço

Automata Logics, and Infinite Games

Erich Grädel Erich Grädel; Wolfgang Thomas; Thomas Wilke

Springer Berlin Heidelberg 2002

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

Data de Publicação 

De até
  1. Antes de1997  (1)
  2. 1997Até1998  (3)
  3. 1999Até1999  (2)
  4. 2000Até2001  (4)
  5. Após 2001  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.