51
TÍTULO: Non-determinism and uncertainty in the situation calculus  Full Text
AUTORES: Pinto, J; Sernadas, A ; Sernadas, C ; Mateus, P ;
PUBLICAÇÃO: 2000, FONTE: Symposium on Special Tack on Uncetain Reasoning Held at the 12th Intenational FLAIRS Conference in INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, VOLUME: 8, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
52
TÍTULO: Precategories for combining probabilistic automata
AUTORES: Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 1999, FONTE: CTCS '99, Conference on Category Theory and Computer Science in Electronic Notes in Theoretical Computer Science, VOLUME: 29
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 6 de 6. Total de resultados: 52.