コンテンツへ移動
Social processes and proofs of theorems and programs 資料のプレビュー
閉じる資料のプレビュー
確認中…

Social processes and proofs of theorems and programs

著者: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
出版: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
シリーズ: Research report (Yale University. Dept of Computer Science), 136.
エディション/フォーマット:   書籍 : English
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC No.: 11301774
物理形態: 34 pages ; 28 cm.
シリーズタイトル: Research report (Yale University. Dept of Computer Science), 136.
責任者: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!

類似資料

関連件名:(1)

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


<http://www.worldcat.org/oclc/11301774>
library:oclcnum"11301774"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/128296912>
rdf:typeschema:Organization
schema:name"Yale University. Department of Computer Science."
schema:creator
schema:datePublished"1978"
schema:exampleOfWork<http://worldcat.org/entity/work/id/3698337>
schema:inLanguage"en"
schema:isPartOf
schema:name"Social processes and proofs of theorems and programs"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.