내 프로필 만들기
공개 액세스
모두 보기자료 12개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofcle.unicamp.br의 이메일 확인됨
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugaltecnico.ulisboa.pt의 이메일 확인됨
- Joao MarcosFederal University of Santa Catarina (UFSC), Brazildimap.ufrn.br의 이메일 확인됨
- Dov GabbayBar Ilan Univ. Kings College London, Univ of Luxembourgext.uni.lu의 이메일 확인됨
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboamath.ist.utl.pt의 이메일 확인됨
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Itala Maria Loffredo D'OttavianoUniversidade Estadual de Campinascle.unicamp.br의 이메일 확인됨
- Lluis GodoIIIA - CSICiiia.csic.es의 이메일 확인됨
- Jean-Yves BeziauProfessor of University of Brazil and Researcher CNPqufc.br의 이메일 확인됨
- Rafael TestaResearch Associate, CLE-Unicampcle.unicamp.br의 이메일 확인됨
- Marcio Moretto RibeiroProfessor da Escola de Artes, Ciências e Humanidades da Universidade de São Paulousp.br의 이메일 확인됨
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Leendert (Leon) van der TorreProfessor of Computer Science, University of Luxembourguni.lu의 이메일 확인됨