Logic-based program synthesis : state of the art and future trends : papers from the 2002 AAAI Symposium, March 25-27, Stanford, California

著者

• American Association for Artificial Intelligence
• AAAI Spring Symposium
• Fischer, Bernd
• Smith, Douglas R.

書誌事項

Logic-based program synthesis : state of the art and future trends : papers from the 2002 AAAI Symposium, March 25-27, Stanford, California

Bernd Fischer and Douglas R. Smith

（Technical report, SS-02-05）

AAAI Press, c2002

タイトル別名

Logic-based program synthesis : state of the art and future trends : papers from the 2002 AAAI Spring Symposium

詳細情報

• NII書誌ID(NCID): BA69535075
• ISBN:
  • 1577351509
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Menlo Park. Calif.
• ページ数/冊数: 111 p.
• 大きさ: 28 cm
• 親書誌ID:
  • BA31762303