• 1 件中、 1 件目

A=B 貸出可

マーコ・ペトコブセク／[ほか]著 -- トッパン -- 1997.9 -- 410 ／410

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1100164322

• • 予約かごへ
• • 本棚へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	大和講堂	/410/P46/	112662002	一般図書	利用可	在架

ページの先頭へ

資料詳細

タイトル	A=B
副書名	等式証明とコンピュータ
叢書名	A K ピータース・トッパン数理科学シリーズ
著者	マーコ・ペトコブセク ／[ほか]著, 小林 【ユウ】治 ／訳, 伊藤 尚史 ／訳
出版者	トッパン
出版年	1997.9
ページ数	211p
大きさ	25cm
一般件名	数学 , アルゴリズム
NDC分類	410 ／ 410
内容紹介	最近のコンピュータによる等式証明の発展の物語を、第一線で活躍している3人の研究者が情熱とユーモアをもって語る。理論の中心である5つの基本アルゴリズムについて詳述し、この分野における今後の展望についても述べる。
ISBN13桁	4-8101-8972-4

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。