-
RecordNumber
11361
-
Title
Computer science logic
-
Author Statement
E. Borger [et. al]
-
Publication
Springer
-
Publication Year
c 1991
-
Collation
iiii, 399 p
-
Series
Lecture notes in computer science; 533
-
Bibliography
Includes bibliographies
-
Subject
Logic, symbolic and mathematical
-
ADDED ENTRIES
Borger, E. ed , ^dSeries: Lecture notes in computer science; 533
-
Main Class
005
-
Sub Class
.131
-
Cutter no
C738
-
وارد كنندة اطلاعات
soltani^d//
-
Link To Document :
