Automated deduction : a basis for applications
著者
書誌事項
Automated deduction : a basis for applications
（Applied logic series, v.8-10）
Kluwer Academic, c1998
- set
- v.1
- v.2
- v.3
大学図書館所蔵 件 / 全21件
-
v.1410.1||B-12||16021248,
v.2410.1||B-12||26021249, v.3410.1||B-12||36021250 -
v.1C||Automated-1||198032517,
v.2C||Automated-1||298032518, v.3C||Automated-1||398032519 -
v.1116-0-14//8030009808908,
v.2116-0-14//9030009808909, v.3116-0-14//10030009808910 -
v.1410.9||1||27311103143,
v.2410.9||2||27311103144, v.3410.9||3||27311103145 -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies and indexes
収録内容
- v.1. Foundations. calculi and methods
- v.2. Systems and implementation techniques
- v.3. Applications
