Record number :
3682
Author :
Alexander Leitsch
Creator Role :
نويسنده
Title :
The Resolution Calclus
Publication :
Berlin Springer
Published Year :
1997
Fierst Pages :
0
Main Pages :
300
Collation :
300
Notes :
515^cL47 , Glossary
Reprint :
False
Contents :
0
Print issue :
0
Subject :
Calculus+Resolution+Calculus+Re dundancy and Deletion+Resolution as Decision Procedure+Complexity of Resolution
Class :
515
CutterNumber :
L47
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=3682
