Transformation and synthesis in metatem : part. 1-propositionalmetatem /

Na minha lista:
Detalhes bibliográficos
Main Authors: Fisher, Michael., Noel, Philippe.
Formato: Livro
Idioma:Inglês
Publicado em: Univ. Manchester Dep. Computer Sci, 1992
Colecção:Technical report
Assuntos:
Logica temporal.
Programação logica.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000041316&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados