Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: All-Berlin Workshop on Nonclassical Logics and Information Processing Berlin, Germany
Tác giả khác: Pearce, D., Wansing, H.
Định dạng: Hội nghị đang tiến hành Sách
Ngôn ngữ:English
Được phát hành: Berlin : Springer-Verlag, 1992.
Loạt:Lecture notes in computer science. Lecture notes in artificial intelligence ; 619.
Những chủ đề:
Logic programming > Congresses.
Artificial intelligence > Congresses.
Nonclassical mathematical logic > Congresses.
Proof theory > Congresses.
Miêu tả
Mô tả vật lý:171 p. ; 25 cm.
Thư mục:Includes bibliographical references.
số ISBN:0387557458

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