このページのリンク

<図書>
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