-
RecordNumber
22492
-
Author
^aInternational conference on computer logic, Tallin USSR, 1988
-
Title
Colog- 88 Proceedings of...
-
Editor
P. Martin- Lof ¶ G. Mints editors
-
Publication
Springer
-
Publication Year
[c1990]
-
Collation
vi, 238p
-
Series
Lecture notes on computer science, 417
-
Bibliography
Includes bibliographies
-
Subject
Logic- Symbolic and mathematical
-
ADDED ENTRIES
Martin- Lof, P.ed , ^dSeries:Lecture notes on computer science 417
-
Main Class
005
-
Sub Class
.131
-
Cutter no
I61
-
Date
1988
-
وارد كنندة اطلاعات
fazel^d//
-
Link To Document :
