Abstract machine approach to operational semantics of Prolog

Abstract machine approach to operational semantics of Prolog

by Tetsuo Ida ... [et al.]

Tsukuba : Institute of Information Sciences and Electronics, University of Tsukuba, 1991

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

548.08-I11-91-94

10091704067

本学

詳細情報

刊年

1991

形態

19 p. ; 30 cm

シリーズ名

ISE-TR ; 91-94

注記

Cover title

出版国

日本

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Ida, Tetsuo

University of Tsukuba. Institute of Information Sciences and Electronics

NCID

BA12643238