Model-checking based data retrieval : an application to semistructured and temporal data

著者

• Quintarelli, Elisa

書誌事項

Model-checking based data retrieval : an application to semistructured and temporal data

Elisa Quintarelli

（Lecture notes in computer science, 2917）

Springer, c2004

注記

Includes index and bibliographical references(p.[129]-134)

詳細情報

• NII書誌ID(NCID): BA66130361
• ISBN:
  • 3540209719
• LCCN: 2004042929
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xvi, 134 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.7
  • DC22 : 025.04
• 件名:
  • LCSH : Query languages (Computer science)
  • LCSH : Information storage and retrieval systems
• 親書誌ID:
  • BA00009279