메뉴 건너뛰기




Volumn , Issue , 2012, Pages 100-104

Revisiting a Brazilian WordNet

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DEDUCTION; COMPUTER SCIENTISTS; OPEN ACCESS; WORDNET;

EID: 84904663568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (16)

References (15)
  • 1
    • 77954885221 scopus 로고    scopus 로고
    • Multimodal and intuitionistic logics in simple type theory
    • C. Benzmueller and L.C. Paulson. 2010. Multimodal and intuitionistic logics in simple type theory. Logic Journal of IGPL, 18(6):881.
    • (2010) Logic Journal of IGPL , vol.18 , Issue.6 , pp. 881
    • Benzmueller, C.1    Paulson, L.C.2
  • 9
    • 84904623401 scopus 로고    scopus 로고
    • Vampire. In, Automated Deduction CADE-16, volume 1632 of, Springer Berlin / Heidelberg
    • Harald Ganzinger, Alexandre Riazanov, and Andrei Voronkov. 1999. Vampire. In Automated Deduction CADE-16, volume 1632 of Lecture Notes in Computer Science, pages 674-674. Springer Berlin / Heidelberg.
    • (1999) , pp. 674
    • Ganzinger, H.1    Riazanov, A.2    Voronkov, A.3
  • 10
    • 0029410109 scopus 로고
    • Cyc: A large-scale investment in knowledge infrastructure
    • D.B. Lenat. 1995. Cyc: A large-scale investment in knowledge infrastructure. Communications of the ACM, 38(11):33-38.
    • (1995) Communications of the ACM , vol.38 , Issue.11 , pp. 33-38
    • Lenat, D.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.