戻る

この文献を取り寄せる

図書館へ購入を依頼する

この情報を出力する

このページのリンク

他の検索サイト

Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
(London Mathematical Society lecture note series ; 379)

データ種別 図書
出版者 Cambridge : Cambridge University Press
出版年 c2011
形態 xi, 341 p. : ill. ; 23 cm
著者標目 Esparza, Javier
Michaux, Christian
Steinhorn, Charles
件　名 LCSH:Finite model theory
LCSH:Computer science -- Mathematics  全ての件名で検索
FREE:MATHEMATICS / Logic bisacsh
分　類 NDC9:410.8
LCC:QA9.7
DC22:511.3/4
書誌ID LT00842859

所蔵情報を非表示

: pbk 理学部分室開架 410.8/L84/1-379 2000000189728 9780521718202




書誌詳細を非表示

本文言語 英語
一般注記 Includes bibliographical references
NCID BB0516501X
巻冊次 : pbk ; ISBN:9780521718202
目次／あらすじ

 類似資料

戻る