메뉴 건너뛰기




Volumn 17, Issue 2, 2007, Pages 129-133

The philosophy of computer science: Introduction to the special issue

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; FUNCTION EVALUATION; QUANTUM COMPUTERS; SPECIFICATION LANGUAGES;

EID: 34547970943     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11023-007-9059-1     Document Type: Article
Times cited : (8)

References (6)
  • 1
    • 34547837416 scopus 로고    scopus 로고
    • Computers, justification, and mathematical knowledge
    • lume
    • Arkoudas, K., & Bringsjord, S. (2007). Computers, justification, and mathematical knowledge. Minds and Machines. (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Arkoudas, K.1    Bringsjord, S.2
  • 2
    • 34547841330 scopus 로고    scopus 로고
    • Abstraction in computer science
    • lume
    • Col burn, T., & Shute, G. (2007). Abstraction in computer science. Minds and Machines, (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Col burn, T.1    Shute, G.2
  • 3
    • 34547841325 scopus 로고    scopus 로고
    • Physical computation: How general, are Gandy's Principles for mechanisms?
    • lume
    • Copeland, B. J., & Shagrir, O. (2007). Physical computation: How general, are Gandy's Principles for mechanisms? Minds and Machines, (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Copeland, B.J.1    Shagrir, O.2
  • 4
    • 34547841334 scopus 로고    scopus 로고
    • Three paradigms of computer science
    • lume
    • Eden, A. H. (2007). Three paradigms of computer science. Minds and Machines, (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Eden, A.H.1
  • 5
    • 34547828046 scopus 로고    scopus 로고
    • Quantum algorithms-philosophical lessons
    • lume
    • Hagar, A. (2007). Quantum algorithms-philosophical lessons. Minds and Machines, (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Hagar, A.1
  • 6
    • 34547837419 scopus 로고    scopus 로고
    • Understanding programming languages
    • lume
    • Turner, R. (2007). Understanding programming languages. Minds and Machines, (this volume).
    • (2007) Minds and Machines , vol.this vo
    • Turner, R.1


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