^aInternational conference on computer logic, Tallin USSR, 1988

Title

Colog- 88 Proceedings of...

Name: Colog- 88 Proceedings of...
Author: ^aInternational conference on computer logic, Tallin USSR, 1988

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

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