Collation :
viii, 471 P
Addition :
,
Title :
Computer science logic
LC Class :
004
LC Number :
. 01
LC CutterNumber :
C 738
Publication Year :
1997
Publication :
Springer
Subject :
Computer science,Logic, symbolic and mathematical
Editor :
Edited by Dirk Van Dalen,Marc Bezem
DocumentNumber :
31701
ISBNN :
, 1 , 2166 , 3-1
Link To Document :

بازگشت