归纳的 - 研究领域

相关国际组织

共 19 个

公理设计国际会议

International Conference on Axiomatic Design

ICAD

类型 S 2000 成立科技与工业

基于实例的推理国际会议

International Conference on Case-Based Reasoning

ICCBR

类型 S 1999 成立教育与科研

国际自动推理联合会议

International Joint Conference on Automated Reasoning

IJCAR

类型 S 2001 成立教育与科研

布尔函数及其应用国际研讨会

International Workshop on Boolean Functions and their Applications

BFA

类型 S 2014 成立教育与科研

国际定性推理研讨会

International Workshop on Qualitative Reasoning

QR

类型 S 教育与科研

逻辑、语言、信息与计算研讨会

Workshop on Logic, Language, Information and Computation

WoLLIC

类型 S 1994 成立教育与科研

关于以保障中美洲、巴拿马和伯利兹飞行作业安全为目的的检查程序的伊洛潘戈协定

Ilopango Agreement Concerning Inspection Procedures with the Objective of Guaranteeing the Safety of Flight Operations in Central America, Panama and Belize

类型 T 1995 成立交通与通信

1 2