この文献を取り寄せる

このページのリンク

Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions / by Łukasz Kaiser
(Lecture Notes in Computer Science ; 6810)

データ種別 電子ブック
著者標目 *Kaiser, Łukasz
SpringerLink (Online service)
出版情報 Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg , 2011

所蔵情報を非表示

URL 図書館共通

EB000806
9783642228070 禁帯出

 類似資料