Deductive inference for the interiors and exteriors of horn theories (Mathematical engineering technical reports ; METR 2007-6)

Deductive inference for the interiors and exteriors of horn theories

(Mathematical engineering technical reports ; METR 2007-6)

Publisher: Dept. of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo

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: 図書
Title: Deductive inference for the interiors and exteriors of horn theories
Author/Editor: [by] Kazuhisa Makino, Hirotaka Ono
Series Title: Mathematical engineering technical reports ; METR 2007-6
Publication, Distribution, etc.: Tokyo : Dept. of Mathematical Informatics, Graduate School of Information Science and Technology, the University of Tokyo
Publication Date: 2007.2
Publication Date (W3CDTF): 2007
Extent: 19 p.
Size: 30 cm
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: MA21
Target Audience: 一般
Note (Bibliography): Includes bibliographical references
Holding library: 国立国会図書館
Call No.: MA21-B416
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009270958
http://id.ndl.go.jp/bib/000009270958
National Bibliography No. (JPNO): 21391463
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113