Logic programming : operational semantics and proof theory

CiNii

書誌事項

タイトル
"Logic programming : operational semantics and proof theory"
責任表示
James H. Andrews
出版者
  • Cambridge University Press
出版年月
  • 2004, c1992
書籍サイズ
25 cm
シリーズ名/番号
  • : pbk

この図書・雑誌をさがす

注記

First published: 1992

"First paperback edition 2004"--T.p. verso

Includes bibliographical references (p. 89-94) and index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ