コンピュータによる定理の証明 (コンピュータ・サイエンス研究書シリーズ ; 27)

The cover of this title could differ from library to library.

Available with Digitized Contents Transmission Service

国立国会図書館デジタルコレクション

Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.

Become an official registered user >

コンピュータによる定理の証明(コンピュータ・サイエンス研究書シリーズ ; 27)

Call No. (NDL): MA41-99
Bibliographic ID of National Diet Library: 000001708931
Persistent ID (NDL): info:ndljp/pid/12608403

Material type: 図書

Author: Chin-Liang Chang, Richard Char-Tung Lee 著ほか

Publisher: 日本コンピュータ協会

Publication date: 1983.9

Material Format: Paper・Digital

Capacity, size, etc.: 346p ; 22cm

NDC: 410.96

View All

Notes on use

Note (General)：: 原タイトル: Symbolic logic and mechanical theorem proving

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Kanto

千葉県立中央図書館
Paper
Call No.：
4101/C33/
Book Registration Number：
9102991693
千葉県立中央図書館
東京都立多摩図書館
Paper
Call No.：
4101-51-83
Book Registration Number：
1122925387
東京都立多摩図書館
神奈川県立川崎図書館
Paper
Call No.：
411.1-C
Book Registration Number：
70666359
神奈川県立川崎図書館
横浜市立図書館
Paper
Call No.：
410.993
Book Registration Number：
0003580091
横浜市立図書館

Tokai-Hokuriku

岐阜県図書館
Paper
Call No.：
410.1-チ
Book Registration Number：
8120529628
岐阜県図書館
三重県立図書館
Paper
Call No.：
007.6-T
Book Registration Number：
110041514
三重県立図書館

Kinki

大阪府立中央図書館
Paper
Call No.：
610/3031/#
Book Registration Number：
1512118736
大阪府立中央図書館
兵庫県立図書館
Paper
Call No.：
４１０．１／２８
Book Registration Number：
101730562
兵庫県立図書館

Shikoku

徳島県立図書館
Paper
Call No.：
410.9-ｼﾔ
Book Registration Number：
00102305348
徳島県立図書館

other

Agriculture Library Information system - WebOPAC
Search Service
Paper
You can check the holdings of institutions and databases with which Agriculture Library Information system - WebOPAC is linked at the site of Agriculture Library Information system - WebOPAC.
Check the holdings of this book
CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type: 図書
Title: コンピュータによる定理の証明
Title Transcription: コンピュータニヨルテイリノショウメイ
Author/Editor: Chin-Liang Chang, Richard Char-Tung Lee 著
長尾真, 辻井潤一訳
Series Title: コンピュータ・サイエンス研究書シリーズ ; 27
Author Heading: Chang, Chin-Liang ( 00435694 )Authorities
Lee, Richard Char-Tung, 1939- ( 00447197 )Authorities
長尾, 真, 1936-2021 ナガオ, マコト, 1936-2021 ( 00104393 )Authorities
辻井, 潤一, 1949- ツジイ, ジュンイチ, 1949- ( 00146150 )Authorities
Publication, Distribution, etc.: 東京 : 日本コンピュータ協会
Publication Date: 1983.9
Publication Date (W3CDTF): 1983
Extent: 346p
Size: 22cm
Additional Title: Symbolic logic and mechanical theorem proving
Place of Publication (Country Code): JP
Text Language Code: jpn
Original Text Lang. Code: eng
Subject Heading: 記号論理学キゴウロンリガク ( 00565709 )Authorities
人工知能ジンコウチノウ ( 00574798 )Authorities
NDC 8th ed.: 410.96
NDLC: MA41
Target Audience: 一般
Note (General): 原タイトル: Symbolic logic and mechanical theorem proving
Note (Bibliography): 各章末: 参考文献参考文献: p323～338
Price: 6000円
Holding library: 国立国会図書館
Call No.: MA41-99
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000001708931
http://id.ndl.go.jp/bib/000001708931
National Bibliography No. (JPNO): 85013050
Cataloging Rule: Nippon Cataloging Rules, Preliminary New Edition
Bibliographic Record Category (NDL): 111