내 프로필 만들기
공개 액세스
모두 보기자료 7개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofcle.unicamp.br의 이메일 확인됨
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinasunicamp.br의 이메일 확인됨
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboamath.ist.utl.pt의 이메일 확인됨
- Sandra de AmoAssociate Professor Computer Science, Universidade Federal de Uberlândiaufu.br의 이메일 확인됨
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnicomath.tecnico.ulisboa.pt의 이메일 확인됨
- Benjamin BedregalUniversidade Federal do Rio Grande do Nortedimap.ufrn.br의 이메일 확인됨
- Umberto RivieccioAssistant Professor, UNED (Madrid)fsof.uned.es의 이메일 확인됨
- Vitor GreatiPhD candidate, University of Groningen, Groningen, The Netherlandsrug.nl의 이메일 확인됨
- Ori LahavTel Aviv Universitytau.ac.il의 이메일 확인됨
- Yoni ZoharBar Ilan Universitybiu.ac.il의 이메일 확인됨
- Cláudia NalonComputer Science, University of Brasíliaunb.br의 이메일 확인됨
- Marco VolpeUniversity of Leicesterleicester.ac.uk의 이메일 확인됨
- Heinrich WansingRuhr-Universität Bochumrub.de의 이메일 확인됨
- Thiago Nascimento da SilvaPh.D Candidate at Federal University of Rio Grande do Norteufrn.edu.br의 이메일 확인됨
- Patrick TerrematteAssistant Professor at UFRNimd.ufrn.br의 이메일 확인됨
- Clare DixonUniversity of Manchestermanchester.ac.uk의 이메일 확인됨
- Regivan H. N. SantiagoDepartamento de Informática e Matemática Aplicada-UFRNdimap.ufrn.br의 이메일 확인됨
- Manuel A. MartinsDepartamento de Matemática, Universidade de Aveiroua.pt의 이메일 확인됨
- Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de Lisboafc.ul.pt의 이메일 확인됨
- JOCIVANIA PINHEIROUniversidade Federal Rural do Semi-Áridoufersa.edu.br의 이메일 확인됨