Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
10 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

10 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 2022 (2022-12-31), Heft 12, S. 1236-1237
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formal Model Design for Network and Operating System Behaviors in Real-time Distributed System Verification with Coq
    김윤승 (Yoonseung Kim) ; 허충길 (Chung-Kil Hur)
    In: Journal of KIISE, Jg. 47 (2020-11-30), Heft 11, S. 1071-1076
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    증명보조기 Coq을 이용한 래더 다이어그램 의미구조의 정형화
    신승철 (Seungcheol Shin)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 37 (2010-01-31), Heft 1, S. 54-58
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Coq을 이용한 이분 그래프의 표현
    배성경 (Sung-Gyeong Bae) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 38 (2011-11-30), Heft 2A, S. 361-363
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Nominal Reasoning Techniques in the Proof Assistant Coq
    Gyesik Lee (이계식)
    In: 한국정보과학회 학술발표논문집, Jg. 39 (2012-11-30), Heft 2A, S. 257-258
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    콕 증명보조기에서 한 가지 변수 이름을 사용하는 노미널 방식 활용하기
    이계식 (Gyesik Lee) ; 나현숙 (Hyeon-Suk Na)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 40 (2013-11-30), Heft 11, S. 751-755
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    프로그래밍 언어 메타이론의 정형화 및 변수 묶기
    이계식 (Gyesik Lee)
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 35 (2008-12-31), Heft 12, S. 800-806
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Cost of Quality 모델을 이용한 국방 소프트웨어 개발에서의 테스트 프로세스 개선
    박동후 (Donghoo Park) ; 류호연 (Hoyeon Ryu) ; et al.
    In: 한국정보과학회 학술발표논문집, Jg. 34 (2007-06-30), Heft 1B, S. 74-78
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    산업자동화 프로그램의 연역 검증을 위한 변환
    김성민 (Sungmin Kim) ; 노상훈 (Sanghoon Rho) ; et al.
    In: 정보과학회논문지 : 소프트웨어 및 응용, Jg. 38 (2011-07-31), Heft 7, S. 392-395
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -