عنوان
پدید آورنده
موضوع
رده
QA .G68 9.54 1997
QA
.
G68
9
.
54
1997
کتابخانه
محل استقرار
0792345932
Proof theory and automated deduction
by Jean Goubault-Larrecq and Ian Mackie
Dordrecht ; Boston
Kluwer Academic
,c1997
xv, 424 p. ill. 25 cm.
Applied logic series ;v. 6
Includes bibliographical references )p. 407-413( and index.
Proof theory
Automatic theorem proving
511
.
3
QA
9
.
54
.
G68
1997
Goubault-Larrecq, Jean.
Title
Mackie, I.)Ian(
English Book
