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