18.97.14.84
Join
Login
CS
한국어
ENG
Total
Title
Author
Journal
Publisher
Advanced Search
18.97.14.84
한국어
ENG
Login
Join
CS
성신여자대학교 기초과학연구소
기초과학연구지
컴퓨터 시스템을 위한 확장된 시간 논리에 관한 한 고찰
컴퓨터 시스템을 위한 확장된 시간 논리에 관한 한 고찰
A Survey on The Extended Temporal Logics for Computer Systems
박문화(Mun Hwa Park)
성신여자대학교 기초과학연구소
1986.01
기초과학연구지
vol. 3
51-57(7pages)
UCI
I410-ECN-0102-2009-410-006080915
Preview
₩ 4,500
More
Cite
Copy URL
Bookshelf
Preview
Abstract
expand_more
Keywords
expand_more
Table of Contents
expand_more
References (
0
)
expand_more
[자료제공 : 네이버학술정보]
Cite
KOR
ENG
Style
APA
MLA
Chicago
IEEE
Vancouver
ACS
Harvard
저자명
년도
논문명
간행물명
권호
쪽수
Style
TXT
Refworks
Mendeley
EndNote
Excel
Save
Add to Bookshelf
Add
articles to
LOGIN
Subscriber ID
ID
password
Login
Join
Find ID / PW
or
Advanced Search
˙ Keyword
All
Total
Title
Author
Journal
Publisher
Keyword
Abstract
AND
OR
NOT
Total
Title
Author
Journal
Publisher
Keyword
Abstract
˙ Subjects
Total
Humanities
Social Scienmce
Natural Science
Engineering
Medicine & Pharmacy
Marine Agriculture & Fishery
Arts & Sports
Interdisciplinary
˙ Publication Date
Total
Last Year
Custom Range
~
˙ Bibliographic Data
Articles that only provides metadata.
Exclude
Include
×
Yes
No
