Record number :
1463
Title :
Lecture notes in artificial intelligence: Automated Deduction CADE-11
Publication :
Berlin Springer- Verlag
Published Year :
1992
Fierst Pages :
0
Main Pages :
794
Collation :
794
Notes :
006.3^cL417 , Glossary
Reprint :
False
Contents :
0
Print issue :
0
Subject :
Artificial Intelligence+CADE -11
Class :
006.3
CutterNumber :
L417
Language :
انگليسي
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=7&DC=1463
