Works matching DE "LOGIC


Results: 5000
    1
    2
    3
    4
    5
    7
    8
    9

    Perfect proofs at first order.

    Published in:
    Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae033
    By:
    • Tennant, Neil
    Publication type:
    Article
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19

    R-DSP 中 BSU 运算部件的 UVM 验证.

    Published in:
    Electronic Science & Technology, 2025, v. 38, n. 5, p. 15, doi. 10.16180/j.cnki.issn1007-7820.2025.05.003
    By:
    • 郭双喜;
    • 谭勋琼;
    • 白创
    Publication type:
    Article
    20
    21
    22
    23
    24
    25
    26

    Controllable Robustness Training.

    Published in:
    Journal of Information Science & Engineering, 2025, v. 41, n. 3, p. 743, doi. 10.6688/JISE.202505_41(3).0014
    By:
    • YU-CHI HU;
    • FANG YU
    Publication type:
    Article
    29
    30

    ETHICS FOR ARTIFICIAL HISTORIANS.

    Published in:
    History & Theory, 2025, v. 64, n. 2, p. 159, doi. 10.1111/hith.12377
    By:
    • Hughes‐Warrington, Marnie
    Publication type:
    Article
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41

    Approaches to the Impure Logic of Ground.

    Published in:
    Topoi: An International Review of Philosophy, 2025, v. 44, n. 2, p. 287, doi. 10.1007/s11245-024-10064-5
    By:
    • Fine, Kit;
    • deRosset, Louis
    Publication type:
    Article
    42
    43

    Web Consequence Untangled.

    Published in:
    Topoi: An International Review of Philosophy, 2025, v. 44, n. 2, p. 305, doi. 10.1007/s11245-023-09978-3
    By:
    • Krämer, Stephan
    Publication type:
    Article
    44
    45
    46
    47
    48
    49

    How to be indifferent.

    Published in:
    Nous (0029-4624), 2025, v. 59, n. 2, p. 317, doi. 10.1111/nous.12512
    By:
    • Liu, Sebastian
    Publication type:
    Article
    50

    Higher‐order being and time.

    Published in:
    Nous (0029-4624), 2025, v. 59, n. 2, p. 464, doi. 10.1111/nous.12509
    By:
    • Skiba, Lukas
    Publication type:
    Article