このページのリンク

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988 proceedings / P. Martin-Löf, G. Mints, eds.
(Lecture notes in computer science. ; 417)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版者 Tokyo
出版年 c1990.
本文言語 英語
大きさ vi, 338 p. ; 25 cm.
目次/あらすじ

所蔵情報を非表示

V.417 ASRS 007.6/L507/V.417 03908212
3540523359

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 International Conference on Computer Logic((1988)
Martin-Löf, Per,(1942-)
Mints, G. E.
件 名 Computer science--Mathematics
Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000155080
ISBN 3540523359
URL1 Publisher HP

 類似資料