こちらに共通ヘッダが追加されます。

このページのリンク

Logic programming : operational semantics and proof theory / James H. Andrews
(Distinguished dissertations in computer science)

データ種別 図書
出版者 Cambridge : Cambridge University Press
出版年 1992
大きさ xi, 104 p. : ill. ; 26 cm

所蔵情報を非表示

理工学部 情報系
007.64||A345 932022731


書誌詳細を非表示

書誌ID BB00228876
本文言語 英語
一般注記 Includes bibliographical references and index
著者標目  *Andrews, James H.
巻冊次 ISBN:0521432197 ; PRICE:£25.00 : CIP entry (Dec.) RefWorks出力(各巻)
NCID BA19521432
目次・あらすじ