서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Kapur, Deepak"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(136)
    • Reviews(125)
    • Conference Materials(121)
    • Books(45)
    • Magazines(33)
    • Reports(13)

  • 주제어
    • computer science(20)
    • algebra and number theory(13)
    • computational mathematics(13)
    • programming languages, compilers, interpreters(11)
    • computer science, general(9)
    • mathematical logic and foundations(9)
    • computer science - logic in computer science(8)
    • computer science - symbolic computation(8)
    • computing methodologies(8)
    • polynomials(7)
    • resultant(7)
    • software engineering(7)
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](6)
    • algorithms(6)
    • grobner basis(6)
    • informatica(6)
    • artificial intelligence (incl. robotics)(5)
    • logics and meanings of programs(5)
    • programming techniques(5)
    • technical institutes(5)
    • theoretical computer science(5)
    • comprehensive grobner system(4)
    • computer science - programming languages(4)
    • computer science - systems and control(4)
    • computer science(all)(4)
    • computingmethodologies_symbolicandalgebraicmanipulation(4)
    • ddc:004(4)
    • dynamic analysis(4)
    • educational surveys(4)
    • engineering students(4)
    • higher education(4)
    • india(4)
    • mathematical logic and formal languages(4)
    • occupations(4)
    • program analysis(4)
    • social conditions of students(4)
    • socioeconomic factors(4)
    • support(4)
    • technical education(4)
    • theorem proving(4)
    • university & college admission(4)
    • computer science education(3)
    • computer science::programming languages(3)
    • education of women -- united states(3)
    • gender role(3)
    • iit(3)
    • industry(3)
    • invariant generation(3)
    • polynomial composition(3)
    • reservation(3)

  • 저널
    • journal of symbolic computation(60)
    • journal of automated reasoning(28)
    • international conference on symbolic & algebraic computation(15)
    • theoretical computer science(9)
    • piton(8)
    • journal of systems science & complexity(7)
    • acta informatica(6)
    • artificial intelligence(5)
    • artificial intelligence. an international journal(4)
    • communications of the acm(4)
    • electronic notes in theoretical computer science(4)
    • journal of systems science \& complexity(4)
    • science of computer programming(4)
    • the journal of logic programming(4)
    • automated reasoning(3)
    • blood(3)
    • formal aspects of computing(3)
    • higher education (00181560)(3)
    • iima working papers(3)
    • information and computation(3)
    • programming logics(3)
    • siam journal on numerical analysis(3)
    • 8th international conference on automated deduction (oxford, 1986)(2)
    • 9th international conference on automated deduction (argonne, il, 1988)(2)
    • acm sigsam bulletin(2)
    • annual acm symposium on theory of computing(2)
    • automated deduction - cade-24(2)
    • automated deduction---cade-24(2)
    • clear international journal of research in commerce & management(2)
    • computer algebra in scientific computing(2)
    • computer vision and image understanding(2)
    • fm 2012: formal methods(2)
    • formal methods in system design(2)
    • information processing letters(2)
    • interactive theorem proving(2)
    • journal of commerce & accounting research(2)
    • journal of comparative policy analysis(2)
    • journal of systems science and complexity(2)
    • management and labour studies(2)
    • mechanizing mathematical reasoning(2)
    • mitigation and adaptation strategies for global change(2)
    • paste: workshop on program analysis for software tools & engineering(2)
    • proceedings of the 1994 acm sigsoft international symposium: software testing & analysis(2)
    • proceedings of the 1995 international symposium: symbolic & algebraic computation(2)
    • proceedings of the 2004 international symposium: symbolic & algebraic computation(2)
    • proceedings of the twenty-eighth annual acm symposium: theory of computing(2)
    • software engineering notes(2)
    • acm transactions on software engineering and methodology(1)
    • higher education(1)
    • higher education: the international journal of higher education and educational planning(1)

  • 발행처
    • springer nature(61)
    • association for computing machinery(59)
    • springer, berlin(36)
    • elsevier bv(21)
    • elsevier ltd(15)
    • springer(13)
    • elsevier b.v.(12)
    • acm, new york(11)
    • academic press inc.(10)
    • springer, heidelberg(8)
    • facultad de informatica (upm)(6)
    • academic press ltd- elsevier science ltd(5)
    • springer, cham(5)
    • elsevier inc.(4)
    • mit press, cambridge, ma(4)
    • indian institute of management ahmedabad, research and publication department(3)
    • springer heidelberg(3)
    • (:unav)(2)
    • american society of hematology(2)
    • assoc computing machinery(2)
    • chinniah lakshmiammal educational academy & research (clear) foundation(2)
    • hal ccsd(2)
    • ieee(2)
    • kluwer(2)
    • publishing india group(2)
    • society for industrial & applied mathematics(2)
    • springer international publishing(2)
    • springer, berlin-new york(2)
    • taylor & francis ltd(2)
    • amer soc hematology(1)
    • elsevier ireland ltd(1)
    • institut fur informatik, justus-liebig-universitat giessen(1)
    • karlsruhe(1)
    • kit, karlsruhe(1)
    • lipics - leibniz international proceedings in informatics. 22nd international conference on rewriting techniques and applications (rta'11)(1)
    • open publishing association(1)
    • springer netherlands(1)
    • springer science & business media b.v.(1)
    • springer verlag (germany)(1)
    • springer, [cham](1)
    • springer, new york(1)
    • springer, vienna(1)
    • springer-verlag(1)
    • tata inst. fund. res., bombay(1)
    • the mit press(1)

  • 언어
    • english(359)
    • undetermined(1)

  • 수록DB
    • MathSciNet via EBSCOhost(125)
    • Complementary Index(103)
    • OpenAIRE(63)
    • Supplemental Index(47)
    • ScienceDirect(31)
    • Science Citation Index(16)
    • Academic Search Complete(15)
    • arXiv(9)
    • Business Source Complete(3)
    • RePEc(3)
    • AGRIS(1)
    • MEDLINE(1)
    • ERIC(1)
    • Teacher Reference Center(1)
    • Education Source(1)

420

1 - 10 다음페이지로

내보내기

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

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

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

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