메뉴 건너뛰기




Volumn 2883, Issue , 2003, Pages 75-87

A generalized threats search algorithm

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GAMES;

EID: 0344152260     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40031-8_6     Document Type: Article
Times cited : (11)

References (6)
  • 3
    • 84958743851 scopus 로고    scopus 로고
    • Abstract proof search
    • Marsland, T., Frank, I., eds.: Second International Conference on Computers and Games (CG 2000). Springer-Verlag
    • Cazenave, T.: Abstract proof search. In Marsland, T., Frank, I., eds.: Second International Conference on Computers and Games (CG 2000). Volume 2063 of Lecture Notes in Computer Science. Springer-Verlag (2001) 39-54
    • (2001) Lecture Notes in Computer Science , vol.2063 , pp. 39-54
    • Cazenave, T.1
  • 5
    • 0037807123 scopus 로고    scopus 로고
    • La recherche abstraite graduelle de preuves
    • Cazenave, T.: La recherche abstraite graduelle de preuves. In: Proceedings of RFIA 02. Volume 2. (2002) 615-623
    • (2002) Proceedings of RFIA 02 , vol.2 , pp. 615-623
    • Cazenave, T.1


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