-
RecordNumber
69137
-
Author
Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
-
Title
CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
-
Editor
E. Borger, H. Kleine Buning, M.M. Richter (eds.)
-
Publication
Springer-Verlag
-
Publication Year
c1990
-
Collation
vi, 437p
-
Series
Lecture notes in computer science ; 440
-
Bibliography
Includes bibliographies
-
Subject
Computer science- Mathematics- Congresses , Logic, Symbolic and mathematical- Congresses
-
ADDED ENTRIES
Borger, Egon, 1946- , ed , Series: Lecture notes in computer science ; 440
-
Main Class
005
-
Sub Class
.131
-
Cutter no
W926c
-
Date
1989
-
وارد كنندة اطلاعات
fazel^d2003/05/21 09:53:03
-
Link To Document :
