Computability theory, semantics, and logic programming

Melvin Fitting

この本の情報

書名 Computability theory, semantics, and logic programming
著作者等 Fitting, Melvin Chris
シリーズ名 Oxford logic guides
出版元 Oxford University Press;Clarendon Press
刊行年月 1987
ページ数 xi, 198 p.
大きさ 25 cm
ISBN 0195036913
NCID BA00503785
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想