RecordNumber
:
32315
LC Class
:
QA
LC Number
:
303.5
LC CutterNumber
:
.L4
Author
:
Leitsch, Alexander
Title
:
resolution calculus
Author Statement
:
Alexander Leitsch
Publication
:
Springer
Publication Year
:
1997
Collation
:
viii, 300 p.: illus.; 24 cm
Series
:
Texts in theoretical computer science
Subject
:
Calculus -- Data processing
Holding Info.
:
3540618821,3540618821
Original By
:
77/05
DocumentNumber
:
44322
Biblography
:
Includes bibliographical references and index
BL
:
BL
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=32315&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
