A REAL-TIME COACHING ENVIRONMENT FOR TRIANGLE CONGRUENCE PROOFS

被引：0
|
作者：
GREVE, SH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 360卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：150 / 157
页数：8
相关论文
共 50 条
  • [21] Real-time behaviour in a heterogeneous environment?
    Nett, E
    THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 275 - 281
  • [22] Real-time scheduling in a stochastic environment
    Khloudova, MV
    THIRD INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING, 2000, 4064 : 259 - 263
  • [23] A PROTOTYPING ENVIRONMENT FOR REAL-TIME GRAPHICS
    DONATO, N
    ROCCHETTI, R
    TOM, J
    AFIPS CONFERENCE PROCEEDINGS, 1984, 53 : 367 - +
  • [24] An Open Environment for Real-Time Applications
    Z. Deng
    Jane W.-S. Liu
    L. Zhang
    S. Mouna
    A. Frei
    Real-Time Systems, 1999, 16 : 155 - 185
  • [25] ATOMIC BROADCAST IN A REAL-TIME ENVIRONMENT
    CRISTIAN, F
    DOLEV, D
    STRONG, R
    AGHILI, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 448 : 51 - 71
  • [26] An open environment for real-time applications
    Deng, Z
    Liu, JWS
    Zhang, L
    Mouna, S
    Frei, A
    REAL-TIME SYSTEMS, 1999, 16 (2-3) : 155 - 185
  • [27] Real-Time Specifications of the Geospace Environment
    Y. Kamide
    E.A. Kihn
    A.J. Ridley
    E.W. Cliver
    Y. Kadowaki
    Space Science Reviews, 2003, 107 : 307 - 316
  • [28] REAL-TIME IMAGING IN A CFD ENVIRONMENT
    ZULAUF, JM
    COMPUTER GRAPHICS WORLD, 1987, 10 (08) : 40 - 40
  • [29] AIRLINE OPERATIONS - REAL-TIME ENVIRONMENT
    FENELLO, MJ
    COMPUTER, 1972, 5 (06) : 27 - &
  • [30] Real-time specifications of the geospace environment
    Kamide, Y
    Kihn, EA
    Ridley, AJ
    Cliver, EW
    Kadowaki, Y
    SPACE SCIENCE REVIEWS, 2003, 107 (1-2) : 307 - 316
12345