오늘 하루 이 창을 열지 않음
닫기
18.97.9.174
Join
Login
CS
한국어
ENG
Total
Title
Author
Journal
Publisher
Advanced Search
18.97.9.174
한국어
ENG
Login
Join
CS
AI 검색 소개
한국수학교육학회
수학교육
추론 ( 프로그래밍 언어 ) 에서 결과율의 증명
추론 ( 프로그래밍 언어 ) 에서 결과율의 증명
A Proof of the Rule of Consequence in Inference ( Programming Language )
김명렬 ( Myoung Lyoul Kim )
한국수학교육학회
1982.12
수학교육
vol. 21 iss. 1
23-24(2pages)
UCI
I410-ECN-0102-2009-410-006989166
₩ 1,000
More
Cite
Copy URL
Bookshelf
This article is 4 pages or less.
Abstract
expand_more
Keywords
expand_more
Table of Contents
expand_more
References (
0
)
expand_more
[자료제공 : 네이버학술정보]
Cite
KOR
ENG
Citation
APA
MLA
Chicago
IEEE
Vancouver
ACS
Harvard
저자명
년도
논문명
간행물명
권호
쪽수
Download
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
