Equational logic as a programming language

Michael J. O'Donnell

この本の情報

書名 Equational logic as a programming language
著作者等 O'Donnell, Michael J.
シリーズ名 MIT Press series in the foundations of computing
出版元 MIT Press
刊行年月 c1985
ページ数 296 p.
大きさ 24 cm
ISBN 026215028X
NCID BA00015668
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想