Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseОткрытый API экосистемы

Logic, Reasoning, and Knowledge

Работ: 13

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2024Цитирований: 2
    ABI
  2. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0
    ABI