Proof and computation II : from proof theory and univalent mathematics to program extraction and verification

Notes on use

Search by Bookstore

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

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

other

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

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

Material Type: 図書
ISBN: 9789811236471
Title: Proof and computation II : from proof theory and univalent mathematics to program extraction and verification
Author/Editor: editors Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
Author Heading: Mainzer, Klaus
https://ci.nii.ac.jp/author/DA03072278
Schuster, Peter
Schwichtenberg, Helmut
https://ci.nii.ac.jp/author/DA07660631
Publication, Distribution, etc.: World Scientific
Publication Date: c2022
Publication Date (W3CDTF): 2021
Size: 24 cm
Place of Publication (Country Code): si
Text Language Code: en
Subject Heading: Mathematics -- Data processing
Mathematics -- Philosophy
LCC: QA76.95
Target Audience: 一般
Note (General): Includes bibliographical references
Related Material (URI): https://ci.nii.ac.jp/ncid/BC0826856X#entity
https://lccn.loc.gov/2021022959
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BC0826856X : BC0826856X
LC Control Number: 2021022959
https://lccn.loc.gov/2021022959