전남대학교 중앙도서관

링크메뉴

주메뉴

- 게시판
- 전시마당

- 게시판
- 전시마당

- 대출반납서비스
- 도서신청서비스
- 시설이용서비스
- 장애학생 지원서비스
- 타기관이용서비스
- 무인예약대출 서비스
- 학위논문파일 제출
- 개인정보관리
- 원문복사 신청/조회
- 상호대차 신청/조회
- 게시판
- 전시마당

도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색

전자자료 상세검색

통합검색
소장자료
전자자료

통합검색

결과내 검색

검색어 [키워드: "Scott, Dana S."]

총 168건

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

1/17 페이지

검색결과수정

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- Reviews (75)
- Academic Journals (44)
- Conference Materials (44)
자료유형

Count Name
- Reviews (75)
- Academic Journals (44)
- Conference Materials (44)
- eBooks (42)
- Books (23)
- Magazines (11)
- Reports (4)
닫기
주제
- mathematics (22)
- mathematics, general (20)
- complete lattice (7)
주제

Count Name
- mathematics (22)
- mathematics, general (20)
- complete lattice (7)
- letters to the editor (6)
- continuous lattice (5)
- logic (5)
- regular cardinal (5)
- category theory (4)
- mathematical logic (4)
- programming languages (4)
- algebraic lattice (3)
- boolean algebra (3)
- closure operator (3)
- computable functions (3)
- computer engineering (3)
- computer science - logic in computer science (3)
- computer software (3)
- data compression (3)
- domain theory (3)
- f.4 (3)
- full subcategory (3)
- i.2.3 (3)
- mathematics - category theory (3)
- measurable cardinal (3)
- recursion theory (3)
- turing (computer program language) (3)
- 68t15, 03b35, 03b80, 03b15, 08a05, 03c10, 03c68, 03c75, 20b05, 54h20 (2)
- closure property (2)
- defense advance research project agency (2)
- dense subset (2)
- finite subset (2)
- free logic (2)
- generic extension (2)
- heyting algebra (2)
- initial segment (2)
- interval topology (2)
- invited lecture (2)
- limit cardinal (2)
- mathematics - logic (2)
- polish space (2)
- prime ideal (2)
- probabilistic computation (2)
- program verification (2)
- projective geometry (2)
- recursive function (2)
- stationary subset (2)
- symbolic computation (2)
- topological algebra (2)
- topological space (2)
- transitive model (2)
닫기
간행물
- higher set theory (20)
- higher set theory : proceedings, oberwolfach, germany, april 13-23, 1977 (20)
- communications of the acm (9)
간행물

Count Name
- higher set theory (20)
- higher set theory : proceedings, oberwolfach, germany, april 13-23, 1977 (20)
- communications of the acm (9)
- a compendium of continuous lattices (8)
- theoretical computer science (8)
- journal of automated reasoning (4)
- electronic notes in theoretical computer science (3)
- journal of applied logic (3)
- mathematical structures in computer science (3)
- polska akademia nauk. fundamenta mathematicae (3)
- $\lambda$-calculus and computer science theory (proc. sympos., rome, 1975) (2)
- applications of model theory to algebra, analysis, and probability (internat. sympos., pasadena, calif., 1967) (2)
- applications of sheaves (proc. res. sympos. appl. sheaf theory to logic, algebra and anal., univ. durham, durham, 1977) (2)
- the journal of symbolic logic (2)
- $\vdash$isilc logic conference (proc. internat. summer inst. and logic colloq., kiel, 1974) (1)
- acm turing award lectures (1)
- acm turing centenary celebration (1)
- acta informatica (1)
- andrzej mostowski and foundational studies (1)
- automata, languages and programming (aarhus, 1982) (1)
- axiomatic set theory (proc. sympos. pure math., vol. xiii, part i, univ. california, los angeles, calif., 1967) (1)
- axiomatic set theory (proc. sympos. pure math., vol. xiii, part ii, univ. california, los angeles, calif., 1967) (1)
- bulletin de l'academie polonaise des sciences. serie des sciences mathematiques, astronomiques et physiques (1)
- colloquium mathematicum (1)
- communications of the association for computing machinery (1)
- compositio mathematica (1)
- continuous lattices and their applications (bremen, 1982) (1)
- essays on the foundations of mathematics (1)
- fifth annual ieee symposium on logic in computer science (philadelphia, pa, 1990) (1)
- formal semantics of programming languages (courant comput. sci. sympos. 2, new york univ., new york, 1970) (1)
- handbook of theoretical computer science, vol.\ b (1)
- infinitistic methods (proc. sympos. foundations of math., warsaw, 1959) (1)
- information and computation (1)
- international business machines corporation. journal of research and development (1)
- intuitionism and proof theory (proc. conf., buffalo, n.y., 1968) (1)
- journal of philosophical logic (1)
- kurt-godel-gesellschaft. jahrbuch (1)
- lics '18---33rd annual acm/ieee symposium on logic in computer science (1)
- logic, methodology and philosophy of science (proc. 1960 internat. congr.) (1)
- logic, methodology and philosophy of science, iv (proc. fourth internat. congress, bucharest, 1971) (1)
- mathematical foundations of software development, vol. 1 (berlin, 1985) (1)
- mathematical software---icms 2016 (1)
- mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
- mathematical systems theory. an international journal on mathematical computing theory (1)
- notices of the american mathematical society (1)
- ordered sets (banff, alta., 1981) (1)
- philosophical problems in logic. some recent developments (1)
- philosophy of logic (proc. third bristol conf. on critical philosophy, univ. bristol, bristol) (1)
- proc. sympos. pure math., vol. v (1)
- proceedings of an international symposium held at the univ. of calif., berkeley, dec. 26, 1957-jan. 4, 1958 (1)
닫기
출판사
- springer berlin heidelberg (36)
- springer nature (21)
- association for computing machinery (9)
출판사

Count Name
- springer berlin heidelberg (36)
- springer nature (21)
- association for computing machinery (9)
- elsevier b.v. (8)
- springer, berlin-new york (7)
- springer netherlands (5)
- amer. math. soc., providence, ri (3)
- north-holland, amsterdam-london (3)
- springer, berlin (3)
- elsevier science bv (2)
- holt, rinehart and winston, new york-montreal, que.-london (2)
- north-holland, amsterdam (2)
- reidel, dordrecht (2)
- academic press, london-new york (1)
- acm, new york (1)
- birkhauser/springer basel ag, basel (1)
- cambridge university press (1)
- cambridge university press, cambridge (1)
- dekker, new york (1)
- elsevier sci. b. v., amsterdam (1)
- elsevier, amsterdam (1)
- ieee comput. soc. press, los alamitos, ca (1)
- ieee computer soc., los alamitos, ca (1)
- ios, amsterdam (1)
- magnes press, the hebrew university, jerusalem (1)
- north-holland, amsterdam-new york (1)
- north-holland, amsterdam-oxford (1)
- pergamon, oxford-london-new york-paris (1)
- prentice-hall, inc., englewood cliffs, nj (1)
- proquest llc, ann arbor, mi (1)
- published for the association for symbolic logic by the american mathematical society, providence, ri (1)
- reidel, dordrecht-boston, mass. (1)
- springer (1)
- springer international publishing (1)
- springer nature switzerland (1)
- springer, [cham] (1)
- springer, cham (1)
- springer-verlag, berlin-new york (1)
- stanford univ. press, stanford, ca (1)
- univ. california press, berkeley, ca (1)
닫기
언어
- english (120)
Publication Year
- 1977 (2)
- 1979 (2)
- 1983 (2)
Publication Year

Count Name
- 1977 (2)
- 1979 (2)
- 1983 (2)
- 2004 (1)
닫기
수록데이터베이스
- MathSciNet via EBSCOhost (75)
- Springer Nature eBooks (42)
- Supplemental Index (23)
수록데이터베이스

Count Name
- MathSciNet via EBSCOhost (75)
- Springer Nature eBooks (42)
- Supplemental Index (23)
- ScienceDirect (6)
- Complementary Index (5)
- Academic Search Complete (4)
- Business Source Complete (3)
- arXiv (3)
- Science Citation Index Expanded (3)
- ACM Full-Text Collection (2)
- ERIC (1)
- Springer Nature Journals (1)
닫기

PQDT
CAJ
RISS
PsycINFO

전체선택

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation

보고서

issue: Intelligent Computer Mathematics (CICM 2023). Lecture Notes in Computer Science, vol 14101, pp. 69-83. Springer, Cham
Author: Bayer, Jonas
Gonus, Aleksey
Benzmüller, Christoph
Scott, Dana S.
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Computer-supported Exploration of a Categorical Axiomatization of Modeloids

보고서

Author: Tiemens, Lucca
Scott, Dana S.
Benzmüller, Christoph
Benda, Miroslav
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Axiomatizing Category Theory in Free Logic

보고서

Author: Benzmüller, Christoph
Scott, Dana S.
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

전자책

issue: Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings. 12062:302-317
Author: Tiemens, Lucca^{Aff11, Aff13}
Scott, Dana S.^Aff12
Benzmüller, Christoph^{Aff13, Aff14}
Benda, Miroslav^Aff15
DB Label: Database : Springer Nature eBooks

원문보기

Automating Free Logic in HOL, with an Experimental Application in Category Theory

학술저널

issue: Journal of Automated Reasoning. 64(1):53-72
Author: Benzmüller, Christoph^{Aff1, Aff2}
Scott, Dana S.
DB Label: Database : Springer Nature Journals

원문보기: 등재 - SCOPUS 조회 - Impact Factor (JCR) 등재 - Web of Science (SCIE) 원문복사신청 - RISS

Cartesian closed categories of separable Scott domains

학술저널

issue: In Theoretical Computer Science 21 August 2014 546:17-29
Author: Bauer, Andrej
Plotkin, Gordon D.
Scott, Dana S.
DB Label: Database : ScienceDirect

원문보기: Full Text (ScienceDirect) Full Text (ScienceDirect O/A) 등재 - SCOPUS 조회 - Impact Factor (JCR) 등재 - Web of Science (SCIE)

A calculus of regions respecting both measure and topology.

학술저널

issue: Journal of Philosophical Logic (J. Philos. Logic) (20190101), 48, no.~5, 825-850. ISSN: 0022-3611 (print).eISSN: 1573-0433.
Author: Lando, Tamar (1-CLMB-NDM) AMS Author Profile
Scott, Dana (1-CA) AMS Author Profile
DB Label: Database : MathSciNet via EBSCOhost

원문보기: Full Text (원문보기) 등재 - SCOPUS 조회 - Impact Factor (JCR) 원문복사신청 - FRIC 원문복사신청 - RISS

Symbolic computation and teaching

전자책

issue: Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. 1138:1-20
Author: Scott, Dana S.^Aff1
DB Label: Database : Springer Nature eBooks

원문보기

First Steps Towards Inferential Programming

전자책

issue: Program Verification : Fundamental Issues in Computer Science. 14:99-133
Author: Scherlis, William L.^Aff5
Scott, Dana S.^Aff5
DB Label: Database : Springer Nature eBooks