工学部OPAC

ようこそ  ゲスト さん

<図書>

A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / Jacques Fleuriot

(Distinguished dissertations)
データ種別 図書
出版者 London ; Berlin : Springer
出版年 c2001
本文言語 英語
大きさ xi, 140 p. : ill. ; 24 cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
2F 書庫A
414||F32 E04007576 一般図書(外国語) - 図書
1852334665

書誌詳細を非表示

一般注記 Includes bibliographical references (p. [133]-138) and index
著者標目 *Fleuriot, Jacques
件 名 LCSH:Automatic theorem proving
LCSH:Nonstandard mathematical analysis
LCSH:Newton, Isaac, Sir, 1642-1727
書誌ID 1000145917
ISBN 1852334665
NCID BA53487257 WCLINK
巻冊次 ISBN:1852334665 ; XISBN:

検索結果一覧に戻る ページトップ