自分のプロフィールを作成
オープン アクセス
すべて表示12 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of確認したメール アドレス: cle.unicamp.br
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal確認したメール アドレス: tecnico.ulisboa.pt
- Joao MarcosFederal University of Santa Catarina (UFSC), Brazil確認したメール アドレス: dimap.ufrn.br
- Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourg確認したメール アドレス: ext.uni.lu
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa確認したメール アドレス: math.ist.utl.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Itala Maria Loffredo D'OttavianoUniversidade Estadual de Campinas確認したメール アドレス: cle.unicamp.br
- Lluis GodoIIIA - CSIC確認したメール アドレス: iiia.csic.es
- Jean-Yves BeziauProfessor of University of Brazil and Researcher CNPq確認したメール アドレス: ufc.br
- Rafael TestaResearch Associate, CLE-Unicamp確認したメール アドレス: cle.unicamp.br
- Marcio Moretto RibeiroProfessor da Escola de Artes, Ciências e Humanidades da Universidade de São Paulo確認したメール アドレス: usp.br
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Leendert (Leon) van der TorreProfessor of Computer Science, University of Luxembourg確認したメール アドレス: uni.lu
フォロー