今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Foundations of Logic and Theory of Computation (Texts in Computing)
Sernadas, Amilcar/Sernadas, Cristina
A Mathematical Primer on Linear Optimization
Gomes, Diogo/Sernadas, Amilcar/Sernadas, Cristina
A Mathematical Primer on Computability
Sernadas, Amilcar/Sernadas, Cristina/Rasga, João
Fundamentos de L Gica E Teoria Da Computa O
Sernadas, Am Lcar/Sernadas, Cristina
Decidability of logical theories and their combination
João Rasga, Cristina Sernadas
Analysis and synthesis of logics : how to cut and paste reasoning systems
by Walter Carnielli ... [et al.]
Data and knowledge (DS-2) : proceedings of the Second IFIP 2.6 Working Conference on Database Semantics, 'Data and Knowledge' (DS-2), Albufeira, Portugal, 3-7 November, 1986
edited by R.A. Meersman, A.C. Sernadas
Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April 1985
edited by A. Sernadas, J. Bubenko, Jr., and A. Olivé