Author :
Goubault- larrecq, Jean
Author Statement :
Jean Goubault- larrecq,Ian Mackie
Collation :
XiV, 424 P
Addition :
,
Title :
Proof theory and automated deduction
LC Class :
511
LC Number :
.3
LC CutterNumber :
G 688 P
Publication Year :
1997
Publication :
Kluwer Academic Publishers
Subject :
Proof theory,Automatic theorem proving- computer
DocumentNumber :
5293
ISBNN :
, 1 , 7585 , 2-1
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=2101&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
