Idioma:

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

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

Título:
Imperative history two-dimensional executable temporal logic
Autor: Marcelo Finger
Mark C Reynolds
Assuntos: LÓGICA; Temporal Logic; Predicate Symbol; Propositional Atom; Heart Rate Measurement; Valid Time
É parte de: Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999
Notas: Disponível em: https://doi.org/10.1007/978-94-011-4574-9_5. Acesso em: 24 set. 2021
Títulos relacionados: Série:Trends in Logic v. 5
Editor: Dordrecht Springer
Data de criação/publicação: 1999
Formato: p. 73-98.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 7 Avançar Ir para próxima página