Computer science logic : 5th Workshop, CSLʹ91 Berne, Switzerland, October 1991, Proceedings /

Corporate Author: Workshop on Computer Science Logic Bern, Switzerland)
Other Authors: Bo?rger, E.
Format: Book
Language:English
Published: Berlin : Springer-Verlag, c1992
Series:Lecture notes in computer science, 626
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών004.015113 LNCS WCSL1991 c 1992 6262ΠροβολήOPAC