• 引用/エクスポート
  引用/エクスポート

  引用情報のコピー

  APA (6th ed.)

  

  Chicago (Author-Date, 15th ed.)

  

  Harvard (18th ed.)

  

  MLA (7th ed.)

  

  Turabian (6th ed.)

  

  引用情報のエクスポート

  RefWorks   EndNote   EasyBib   キャンセル

  注：引用情報は参照標準に基づくものですが、書式のルールは論文の提出先や研究分野により多様です。提出先の出版社や教官、機関、団体が指定する特定の要件があれば、そちらを適用するようにしてください。
• 印刷
• メール
  メール

  すべてのフィールドが入力必須です。

  メールアドレスは入力必須です。送信先メールアドレスを入力してください。

  入力されたメールアドレスは有効な形式ではありません。もう一度送信先メールアドレスを入力してください。

  一度に送信可能な宛先は、最大5つです。

  送信先メールアドレスを入力してください： コンマ（,）でアドレスを5つまで区別

  送信者名は入力必須です。あなたのお名前を入力してください。

  送信者名を入力してください： 件名は入力必須です。電子メールの件名を入力してください。 件名：

  メール本文は入力必須です。メッセージを入力してください。

  メール本文： こちらのウェブページから、資料情報をご参照ください： http://www.worldcat.org/oclc/11301774 タイトル： Social processes and proofs of theorems and programs 著者： Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Dept. of Computer Science 出版社： [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978. OCLC:11301774

  
  

  入力されたフレーズが正しくありません。ウィンドウに表示された2つの単語を正しく入力してください。あるいは、音声バージョンをお試しください。

  キャンセル
• 共有
• パーマリンク
  パーマリンク

  このページにリンクするには、次のURLをコピーしてください：

• レビューを書く
• この資料を評価：
• • 1
  • 2
  • 3
  • 4
  • 5

関連情報

件名

• Computer programming.

類似資料

Social processes and proofs of theorems and programs

著者：	Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Dept. of Computer Science.
出版：	[New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
シリーズ：	Research report (Yale University. Dept of Computer Science), 136.
エディション/フォーマット：	書籍 : Englishすべてのエディションとフォーマットを見る
評価：	(まだ評価がありません) 0 件のレビュー - まずはあなたから！