Logic and automata : history and perspectives

著者

• Flum, Jörg
• Grädel, Erich
• Wilke, Thomas

書誌事項

Logic and automata : history and perspectives

edited by Jörg Flum, Erich Grädel, Thomas Wilke

（Texts in logic and games, v. 2）

Amsterdam University Press, c2008

• pbk

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA88754338
• ISBN:
  • 9789053565766
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• 分類:
  • LCC : QA76.9.M35
  • DC22 : 511.3
• 件名:
  • LCSH : Computer science -- Mathematics
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Game theory
  • FREE : Electronic books. local
• 親書誌ID:
  • BA88753630