skip to main content
Idioma:
Refinado por: Nome da Publicação: Logic, language and reasoning : essays in honour of Dov Gabbay remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Imperative history two-dimensional executable temporal logic
Imperative history two-dimensional executable temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Imperative history two-dimensional executable temporal logic

Marcelo Finger Mark C Reynolds

Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999

Dordrecht Springer 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1084818 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Reynolds, M

Neste Assunto:

  1. Lógica

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

Buscando em bases de dados remotas. Favor aguardar.