Works matching Point Four Program


Results: 132
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17

    Point IV.

    Published in:
    Bulletin of the Atomic Scientists, 1952, v. 8, n. 5, p. 168
    By:
    • Axel, Peter
    Publication type:
    Article
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42

    ON THE PROPOSITIONAL SLDNF-RESOLUTION.

    Published in:
    International Journal of Foundations of Computer Science, 1996, v. 7, n. 4, p. 359, doi. 10.1142/S0129054196000269
    By:
    • PLAZA, JAN A.
    Publication type:
    Article
    43
    44
    45
    46
    47
    48
    49
    50