博士論文

On Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に関する研究)

Icons representing 博士論文

On Linear Algebraic Computation for Logic Programming(論理プログラミングの線形代数計算に関する研究)

Material type
博士論文
Author
Nguyen, Quoc Tuanほか
Publisher
-
Publication date
-
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
総合研究大学院大学,博士(情報学)
View All

Notes on use

Note (General):

application/pdf総研大甲第2369号

Search by Bookstore

Table of Contents

  • 要旨・審査要旨 / Abstract, Screening Result

  • 本文 / Thesis

Holdings of Libraries in Japan

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

  • SOKENDAI Repository (The Graduate University for Advanced Studies)

    Digital
    You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース(IRDB)(機関リポジトリ) is linked at the site of 学術機関リポジトリデータベース(IRDB)(機関リポジトリ).

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.

Digital

Material Type
博士論文
Author/Editor
Nguyen, Quoc Tuan
グエン, クォック トゥアン
Alternative Title
On Linear Algebraic Computation for Logic Programming
Degree grantor/type
総合研究大学院大学
Date Granted
2022-09-28
Dissertation Number
甲第2369号
Degree Type
博士(情報学)
Text Language Code
eng