Dependence logic : theory and applications

著者

• Abramsky, Samson
• Kontinen, Juha
• Väänänen, J. (Jouko)
• Vollmer, Heribert

書誌事項

Dependence logic : theory and applications

Samson Abramsky ... [et al.], editors

Birkhäuser , Springer, c2016

注記

Other editors: Juha Kontinen, Jouko Väänänen‎‎, Heribert Vollmer

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BB21640282
• ISBN:
  • 9783319318011
• LCCN: 2016941197
• 出版国コード: xx
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [S.l.],[Cham]
• ページ数/冊数: xiv, 276 p.
• 大きさ: 25 cm
• 分類:
  • DC23 : 511.3
• 件名:
  • LCSH : First-order logic