建立我自己的個人學術檔案
公開取用
查看全部1 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal在 math.ist.utl.pt 的電子郵件地址已通過驗證
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa在 di.fc.ul.pt 的電子郵件地址已通過驗證
- Rohit ChadhaUniversity of Missouri在 missouri.edu 的電子郵件地址已通過驗證
- Hugo Torres VieiraEvidence Srl在 evidence.eu.com 的電子郵件地址已通過驗證
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的電子郵件地址已通過驗證
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex University在 mdx.ac.uk 的電子郵件地址已通過驗證
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa在 tecnico.ulisboa.pt 的電子郵件地址已通過驗證
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa在 math.ist.utl.pt 的電子郵件地址已通過驗證
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico在 math.tecnico.ulisboa.pt 的電子郵件地址已通過驗證
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal在 tecnico.ulisboa.pt 的電子郵件地址已通過驗證
追蹤
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
在 ist.utl.pt 的電子郵件地址已通過驗證 - 首頁