|
COVER
Full Text:
CiNii
|
|
|
CONTENTS
Full Text:
CiNii
|
|
|
[OTHERS]
Full Text:
CiNii
|
|
|
An Attribute Assignment View of Non-procedural Computing Systems
Full Text:
CiNii
|
165-174
|
|
On Semantics of Logic Programs with Uncertainties
Full Text:
CiNii
|
175-182
|
|
A Knowledge Compilation Method Through Conversion of Symbolic Rules and Facts into Functions
Full Text:
CiNii
|
183-190
|
|
Locally Exhaustive Testing of Combinational Circuits Using Linear Logic Circuits
Full Text:
CiNii
|
191-198
|
|
The Man-Machine Interface Aspect of an Automatic Classification Numbering System in a Computerized Library System
Full Text:
CiNii
|
199-205
|
|
Model Inference Incorporating Generalization
Full Text:
CiNii
|
206-211
|
|
Abstracts from "Transactions of Information Processing Society of Japan"
Full Text:
CiNii
|
212-221
|
|
Abstracts from the SIG Notes
Full Text:
CiNii
|
222-243
|
|
Contents of JOHO SHORI
Full Text:
CiNii
|
244-246
|
|
Profiles of Authors
Full Text:
CiNii
|
247-248
|
|
[OTHERS]
Full Text:
CiNii
|
|
|
BACK COVER
Full Text:
CiNii
|
|
