TUNING AND CORRECTION SYSTEM IN ISABELLE

被引：0
作者：
PARZEN, G [1 ]
机构：
[1] BROOKHAVEN NATL LAB, UPTON, NY 11973 USA
来源：
BULLETIN OF THE AMERICAN PHYSICAL SOCIETY | 1979年 / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：198 / 198
页数：1
相关论文
共 50 条
  • [21] Translating Scala Programs to Isabelle/HOL System Description
    Hupel, Lars
    Kuncak, Viktor
    AUTOMATED REASONING (IJCAR 2016), 2016, 9706 : 568 - 577
  • [22] ON THE DESIGN OF FAST KICKERS FOR THE ISABELLE BEAM ABORT SYSTEM
    NAWROCKY, RJ
    MONTEMURRO, PA
    BARON, J
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1981, 28 (03) : 2921 - 2923
  • [23] PaMpeR: Proof Method Recommendation System for Isabelle/HOL
    Nagashima, Yutaka
    He, Yilun
    PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, : 362 - 372
  • [24] ISABELLE HALF-CELL CONTROL-SYSTEM
    BUXTON, W
    FRANKEL, R
    HUMPHREY, JW
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1977, 24 (03) : 1798 - 1800
  • [25] A Formal Proof of Properties of a Presentation System using Isabelle
    Panchenko, Taras
    Ivanov, Ievgen
    2017 IEEE FIRST UKRAINE CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (UKRCON), 2017, : 1155 - 1160
  • [26] 'ISABELLE'
    SENANCOUR, EPD
    AKZENTE-ZEITSCHRIFT FUR LITERATUR, 1984, 31 (06): : 517 - 517
  • [27] Isabelle
    Lasagna, Roberto
    CINEFORUM, 2018, 58 (10): : 52 - 54
  • [28] DESIGN AND OPERATION OF THE WORKING LINE COIL SYSTEM FOR ISABELLE
    BLESER, E
    DAHL, P
    KAUGERTS, J
    MCINTURFF, A
    ROBINS, K
    SAMPSON, W
    SCHEWE, P
    VELIA, W
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1979, 24 (02): : 184 - 184
  • [29] ISABELLE HALF-CELL CONTROL-SYSTEM
    BUXTON, W
    FRANKEL, R
    HUMPHREY, JW
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1977, 22 (02): : 162 - 162
  • [30] ISABELLE
    RAU, RR
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1974, 19 (04): : 491 - 491
12345