書店で探す
目次
Table of Contents
1. Introduction/ 1
1.1 Some problems related to polynomials/ 2
1.1.1 Proof verification/ 4
1.2 Program result checking/ 6
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 3540606157 (Berlin : softcover : alk. paper)
- 著者標目
- 出版年月日等
- c1995.
- 出版年(W3CDTF)
- 1995
- 数量
- xiv, 87 p. ; 24 cm.
- 学位論文注記
- Based on the author's Ph. D. thesis, University of California, Berkeley, 1992.