-
RecordNumber
29687
-
Title
Logic and computer science
-
Author Statement
S. Homer [et al]
-
Publication
Springer
-
Publication Year
[c1990]
-
Collation
162 p
-
Series
Lecture notes in mathematics; 1429
-
Notes
Montecatini Terme, 1988
-
Subject
Logic, symbolic and mathematical , Computer programs- Corretness
-
ADDED ENTRIES
Homer, S. ed , ^dSeries:Lecture notes in mathematics, 1429
-
Main Class
511
-
Sub Class
.3
-
Cutter no
L832
-
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/08/30 10:33:26
-
Link To Document :
