Works matching IS 00104620 AND DT 1996 AND VI 39 AND IP 9


Results: 19
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12

    A Reified Temporal Logic.

    Published in:
    Computer Journal, 1996, v. 39, n. 9, p. 800, doi. 10.1093/comjnl/39.9.800
    By:
    • Ma, J.;
    • Knight, B.
    Publication type:
    Article
    13
    14
    15
    16
    17
    18
    19