岐阜大学図書館蔵書検索（OPAC）

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 3 件

図書

1. ML for the working programmer. 2nd ed (: hardback ; : pbk.)

Lawrence C. Paulson

出版情報:	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1996
子書誌情報:	loading…
所蔵情報:	図書館, 研究室

図書

2. Isabelle : a generic theorem prover (: gw ; : us)

Lawrence C. Paulson ; with contributions by Tobias Nipkow

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名:	Lecture notes in computer science ; 828
子書誌情報:	loading…
所蔵情報:	図書館

図書

3. ML for the working programmer

Laurence C. Paulson

出版情報:	Cambridge : Cambridge University Press, 1991
子書誌情報:	loading…
所蔵情報:	図書館