Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings

著者

• International Congress on Tools for Teaching Logic
• Blackburn, Patrick
• Ditmarsch, Hans van
• Manzano, María
• Soler-Toscano, Fernando

書誌事項

Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings

Patrick Blackburn ... [et al.] (eds.)

（Lecture notes in computer science, . Lecture notes in artifical intelligence ; 6680）

Springer, c2011

• : [pbk.]

注記

Other editors: Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano

"This volume contains papers presented at TICTTL2011, the Third International Congress on Tools for Teaching Logic, held during June 1-4, 2011 in Salamanca, Spain."--Pref

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BB19682778
• ISBN:
  • 9783642213496
• LCCN: 2011927873
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Heidelberg
• ページ数/冊数: xi, 255 p.
• 大きさ: 24 cm
• 分類:
  • LCC : BC59
  • DC23 : 160.71
• 件名:
  • LCSH : Logic -- Study and teaching -- Congresses
• 親書誌ID:
  • BA00009279