NCID | BA13554789 |
タイトル | Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor |
出版者 | New York ; Berlin : Springer-Verlag , c1992 |
形態 | xi, 608 p. ; 25 cm |
注記 | Includes bibliographical references "Workshop with the same title held at MSRI" -- Pref |
シリーズ名 | Mathematical Sciences Research Institute publications ; 21
|
分類 | LCC:QA9.A1 DC20:511.3 |
件名 | LCSH:Logic,Symbolicandmathematical -- Congresses
LCSH:Computerscience -- Congresses
|
著者情報 | Moschovakis, Yiannis N., 1938- Workshop on Logic from Computer Science
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | アメリカ合衆国 |
ISBN | 0387976671(: us) 3540976671(: gw)
|
番号 | LCCN : 91028180 |