CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: Workshop on Computer Science Logic Karlsruhe, Germany
Tác giả khác: Richter, Michael M., 1938-, Börger, E. (Egon), 1946-, Kleine Büning, H. (Hans)
Định dạng: Hội nghị đang tiến hành Sách
Ngôn ngữ:English
Được phát hành: Berlin ; New York : Springer-Verlag, c1988.
Loạt:Lecture notes in computer science ; 329.
Những chủ đề:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics.

CARM 1 Store

Chi tiết quỹ từ CARM 1 Store
Số hiệu: A2:AL22D0 C05341
Sao chép 1 Sẵn có  Đặt Giữ

Những quyển sách tương tự