WebOPAC Local書誌詳細

ログイン

書誌詳細

中部大学附属三浦記念図書館

前の画面へ戻る

	Deduction and declarative programming Peter Padawitz. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 28). <TB00066908> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

Deduction and declarative programming Peter Padawitz. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 28). <TB00066908> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	禁帯出区分	状態	返却予定日	予約
0001		図書館	B1F/洋図書０	007.64/P 13	20050001804				0件


No.	0001
巻号
所蔵館	図書館
配置場所	B1F/洋図書０
請求記号	007.64/P 13
資料ID	20050001804
禁帯出区分
状態
返却予定日
予約	0件

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

Deduction and declarative programming / Peter Padawitz

出版・頒布事項

Cambridge ; New York : Cambridge University Press , c1992

形態事項

vi, 279 p. : ill. ; 26 cm

巻号情報

ISBN	0521417236

書誌構造リンク

Cambridge tracts in theoretical computer science <> 28//a

注記

Includes bibliographical references and index

学情ID

BA18640990

本文言語コード

英語

著者標目リンク

*Padawitz, Peter, 1953- <>

このページのTOPへ

前の画面へ戻る

このページのTOPへ