A fascinating country in the world of computing : your guide to automated reasoning

著者

• Wos, Larry
• Pieper, Gail W.

書誌事項

A fascinating country in the world of computing : your guide to automated reasoning

Larry Wos, Gail W. Pieper

World Scientific, c1999

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA46969644
• ISBN:
  • 9810239106
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: xx, 587 p.
• 大きさ: 23 cm
• 付属資料: 1 computer laser optical disc (4 3/4 in.)