Hans J?Rgen Ohlbach


AuthID: R-00J-50P

Publicações a aguardar confirmação

1
TÍTULO: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
AUTORES: Dov M Gabbay; Hans Jürgen Ohlbach;
PUBLICAÇÃO: 1994, FONTE: ICTL, VOLUME: 827
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service