Automated deduction : a basis for applications
Author(s)
Bibliographic Information
Automated deduction : a basis for applications
（Applied logic series, v.8-10）
Kluwer Academic, c1998
- set
- v.1
- v.2
- v.3
Available at 21 / 21 libraries
Any AreasAny Libraries
-
Kwansei Gakuin University Library三田
v.1160:587:80029546702,
v.2160:587:90029546710, v.3160:587:100029546728 -
v.1410.1||B-12||16021248,
v.2410.1||B-12||26021249, v.3410.1||B-12||36021250 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
v.1C||Automated-1||198032517,
v.2C||Automated-1||298032518, v.3C||Automated-1||398032519 -
Kobe University Library for Science and Technology
v.1116-0-14//8030009808908,
v.2116-0-14//9030009808909, v.3116-0-14//10030009808910 -
National Institute of Informatics
v.12001||127100121422,
v.22001||128100121431, v.32001||129100121440 -
Doshisha University Library (Imadegawa)
v.1A007;B672;12D;9822021996,
v.2A007;B672;22D;9822022003, v.3A007;B672;32D;9822022011 -
Digital Library of Nara Institute of Science and Technology図
v.1BD10||22||10028871,
v.2BD10||22||20028872, v.3BD10||22||30028873 -
v.1116//A59//81990059105,
v.2116//A59//91990059116, v.3116//A59//101990059127 -
v.1410.9||1||27311103143,
v.2410.9||2||27311103144, v.3410.9||3||27311103145 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and indexes
Contents of Works
- v.1. Foundations. calculi and methods
- v.2. Systems and implementation techniques
- v.3. Applications
