서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Ying, Mingsheng"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(318)
    • Reviews(117)
    • Reports(107)
    • Conference Materials(15)
    • Books(8)
    • Magazines(5)

  • 주제어
    • quantum physics(185)
    • computer science - logic in computer science(47)
    • computer science - programming languages(22)
    • computersystemsorganization_miscellaneous(19)
    • quantum theory(18)
    • artificial intelligence(16)
    • computer science::logic in computer science(16)
    • computer science::programming languages(15)
    • logic(15)
    • quantum computation(15)
    • semantics(15)
    • quantum computing(14)
    • f.3.1(12)
    • qualitative spatial reasoning(12)
    • fuzzy logic(11)
    • reasoning(11)
    • theoretical computer science(11)
    • theoryofcomputation_general(11)
    • algorithms(10)
    • computer science - artificial intelligence(10)
    • computer science - cryptography and security(10)
    • d.3.1(10)
    • programming languages(10)
    • states(10)
    • calculus(9)
    • computer science(all)(9)
    • markov processes(9)
    • quantum mechanics(9)
    • theoryofcomputation_logicsandmeaningsofprograms(9)
    • verification(9)
    • computer science - discrete mathematics(8)
    • computer science::databases(8)
    • computer science::formal languages and automata theory(8)
    • i.6.8(8)
    • languages(8)
    • lattice theory(8)
    • quantum communication(8)
    • theoryofcomputation_mathematicallogicandformallanguages(8)
    • bound entanglement(7)
    • computers(7)
    • information theory(7)
    • mathematical analysis(7)
    • bisimulation(6)
    • communication(6)
    • computer science - distributed, parallel, and cluster computing(6)
    • computing with words(6)
    • g.3(6)
    • mathematics(6)
    • quantum computers(6)
    • quantum programming(6)

  • 저널
    • theoretical computer science(43)
    • artificial intelligence(38)
    • physics letters a(19)
    • physical review a(16)
    • physical review letters(15)
    • fuzzy sets and systems(13)
    • fuzzy sets and systems. an international journal in information science and engineering(13)
    • acta informatica(10)
    • journal of computer and system sciences(10)
    • journal of computer science and technology(9)
    • chinese science bulletin(8)
    • information and computation(8)
    • mathematical logic quarterly(8)
    • ieee transactions on information theory(7)
    • physics letters. a(7)
    • acm transactions on computational logic(6)
    • institute of electrical and electronics engineers. transactions on information theory(6)
    • national science review(6)
    • formal aspects of computing(4)
    • fundamenta informaticae(4)
    • ieee transactions on software engineering(4)
    • information processing letters(4)
    • international journal of theoretical physics(4)
    • journal of computer science & technology (10009000)(4)
    • quantum information & computation(4)
    • quantum information \& computation(4)
    • acm transactions on programming languages & systems(3)
    • ieee transactions on systems, man & cybernetics: part b(3)
    • international journal of mathematics and mathematical sciences(3)
    • journal of computer & system sciences(3)
    • science of computer programming(3)
    • acm / sigplan notices(2)
    • annual symposium on principles of programming languages(2)
    • handbook of quantum logic and quantum structures(2)
    • ieee transactions on systems man and cybernetics part b cybernetics a publication of the ieee systems man and cybernetics society(2)
    • international journal of intelligent systems(2)
    • journal of applied non-classical logics(2)
    • journal of mathematical physics(2)
    • mathematical foundations of computer science 2013(2)
    • 计算机科学技术学报(英文版)(2)
    • 2012 joint working ieee/ifip conference on software architecture & european conference on software architecture(1)
    • 2013 ieee 26th computer security foundations symposium(1)
    • chinese science bulletin kexue tongbao(1)
    • concur 2012 - concurrency theory(1)
    • concur 2013 - concurrency theory(1)
    • concur 2014 - concurrency theory(1)
    • frontiers of electrical & electronic engineering in china(1)
    • journal of symbolic logic(1)
    • science in china(series e)(1)
    • 中国科学e辑(英文版)(1)

  • 발행처
    • elsevier b.v.(76)
    • springer nature(25)
    • elsevier bv(18)
    • amer physical soc(17)
    • ieee(11)
    • association for computing machinery(10)
    • elsevier science bv(9)
    • wiley-blackwell(9)
    • elsevier inc.(7)
    • american physical soc(6)
    • american physical society(6)
    • assoc computing machinery(6)
    • ieee-inst electrical electronics engineers inc(6)
    • academic press inc elsevier science(5)
    • academic press inc.(5)
    • oxford university press / usa(4)
    • rinton press, inc(4)
    • springer, heidelberg(4)
    • ieee computer soc(3)
    • springer(3)
    • institute of electrical and electronics engineers, inc(2)
    • ios press(2)
    • oxford univ press(2)
    • amer inst physics(1)
    • banff international research station for mathematical innovation and discovery(1)
    • cambridge univ. press, cambridge(1)
    • editions hermes(1)
    • elsevier(1)
    • elsevier sci. b. v., amsterdam(1)
    • john wiley & sons inc(1)
    • lipics - leibniz international proceedings in informatics. 26th international conference on concurrency theory (concur 2015)(1)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(1)
    • schloss dagstuhl. leibniz-zent. inform., wadern(1)
    • science press(1)
    • springer, cham(1)
    • springer-verlag(1)
    • springer-verlag, new york(1)

  • 언어
    • english(442)
    • chinese(15)

  • 수록DB
    • OpenAIRE(125)
    • MathSciNet via EBSCOhost(117)
    • arXiv(107)
    • Science Citation Index(65)
    • ScienceDirect(48)
    • Academic Search Complete(47)
    • Complementary Index(40)
    • MEDLINE(8)
    • Education Source(7)
    • Business Source Complete(5)
    • Supplemental Index(4)
    • China Online Journals (Wanfang)(3)
    • Library, Information Science & Technology Abstracts(1)
    • Philosopher's Index(1)
    • AGRIS(1)

579

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.