'COQ COQ'

被引：0
|
作者：
GULLAR, F
机构：
来源：
QUINZAINE LITTERAIRE | 1987年 / 484期
关键词：
D O I：
暂无
中图分类号：
I [文学];
学科分类号：
05 ;
摘要：
引用
收藏
页码：16 / 16
页数：1
相关论文
共 50 条
  • [41] 'Coq au Vin'
    Stasio, M
    NEW YORK TIMES BOOK REVIEW, 1999, : 29 - 29
  • [42] Proof reflection in Coq
    Hendriks, D
    JOURNAL OF AUTOMATED REASONING, 2002, 29 (3-4) : 277 - 307
  • [43] Mobility types in Coq
    Honsell, F
    Scagnetto, I
    TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 324 - 337
  • [44] Subset coercions in COQ
    Sozeau, Matthieu
    TYPES FOR PROOFS AND PROGRAMS, 2007, 4502 : 237 - 252
  • [45] A cue to queue for CoQ?
    Shults, CW
    Schapira, AHV
    NEUROLOGY, 2001, 57 (03) : 375 - 376
  • [46] General Probability in Coq
    Shinnar, Avraham
    Trager, Barry
    52ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOP VOLUME (DSN-W 2022), 2022, : 70 - 71
  • [47] CoQ10
    不详
    AGRO FOOD INDUSTRY HI-TECH, 2005, 16 (06): : 37 - 37
  • [48] Le Coq d'or
    Didier, Beatrice
    EUROPE-REVUE LITTERAIRE MENSUELLE, 2017, (1061) : 324 - 326
  • [49] Le Coq d'Or
    不详
    NATURE, 1941, 147 : 785 - 786
  • [50] An Implementation of Deflate in Coq
    Senjak, Christoph-Simon
    Hofmann, Martin
    FM 2016: FORMAL METHODS, 2016, 9995 : 612 - 627
12345