<図書>
Cambridge tracts in theoretical computer science
データ種別 | 図書 |
---|---|
出版者 | Cambridge [Cambridgeshire] ; New York, N.Y., U.S.A. : Cambridge University Press |
子書誌情報を非表示
1 | 5 Topology via logic / Steven Vickers pbk.. - Cambridge [England] ; New York : Cambridge University Press , 1989 |
2 | 6 Formal methods in artificial intelligence / Allan Ramsay : pbk.. - Cambridge ; New York : Cambridge University Press , 1988 |
書誌詳細を表示
本文言語 | und |
---|---|
書誌ID | 1000002993 |
NCID | BA01121831 |