내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Gergely KovásznaiEszterhazy Karoly Universityaries.ektf.hu의 이메일 확인됨
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Christoph M. WintersteigerImandraimandra.ai의 이메일 확인됨
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Tomas BalyoFiluta AIfiluta.ai의 이메일 확인됨
- Uwe SchöningProfessor of Computer Science, Ulm University, retireduni-ulm.de의 이메일 확인됨
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbiacs.rwth-aachen.de의 이메일 확인됨
- Dave A. D. TompkinsLecturer, Computer Science, University of Waterloouwaterloo.ca의 이메일 확인됨
- Dr. Adrian BalintUlm University