학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 247건 | 목록 150~160
Conference
Schöning, Uwe (D-ULM-TI) AMS Author Profile
40th Annual Symposium on Foundations of Computer Science (New York, 1999) (19990101), 410-414.
Conference
Jukna, Stasys (LI-AOS-ML) AMS Author Profile
Proof complexity and feasible arithmetics (Rutgers, NJ, 1996) (19980101), 163-172.
Conference
Köbler, Johannes (D-ULM-TI) AMS Author Profile; Schöning, Uwe (D-ULM-TI) AMS Author Profile
Advances in algorithms, languages, and complexity (19970101), 139-156.
Conference
Schöning, Uwe (D-ULM-TI) AMS Author Profile
Mathematical foundations of computer science 1997 (Bratislava) (19970101), 110-116.
Conference
Clote, Peter (1-BSTC-C) AMS Author Profile; Takeuti, Gaisi (1-IL) AMS Author Profile
Feasible mathematics, II (Ithaca, NY, 1992) (19950101), 154-218.
Academic Journal
Balcázar, José L. (E-UPB) AMS Author Profile
Revista Matemática de la Universidad Complutense de Madrid (Rev. Mat. Univ. Complut. Madrid) (19890101), 2, no.~2-3, 175-184. ISSN: 0214-3577 (print).
Academic Journal
Abadi, Martín (1-DECSY) AMS Author Profile; Feigenbaum, Joan (1-BELL) AMS Author Profile; Kilian, Joe (1-MIT) AMS Author Profile
Journal of Computer and System Sciences (J. Comput. System Sci.) (19890101), 39, no.~1, 21-50. ISSN: 0022-0000 (print).eISSN: 1090-2724.
Academic Journal
Meinel, Christoph (DDR-ADW) AMS Author Profile
Journal of Information Processing and Cybernetics (J. Inform. Process. Cybernet.) (19870101), 23, no.~10-11, 545-558. ISSN: 0863-0593 (print).
Academic Journal
Homer, Steven (1-BOST-C) AMS Author Profile; Long, Timothy J. (1-OHS-C) AMS Author Profile
Theoretical Computer Science (Theoret. Comput. Sci.) (19870101), 51, no.~3, 265-280. ISSN: 0304-3975 (print).eISSN: 1879-2294.
검색 결과 제한하기
제한된 항목
[AR] Schöning, Uwe
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어