Handbook of practical logic and automated reasoning, : hbk

Handbook of practical logic and automated reasoning, : hbk

John Harrison

Cambridge, UK : Cambridge University Press, 2009

図書等

巻号情報

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

1

007.13-H33

10011007478

一般図書

詳細情報

刊年

2009

形態

xix, 681 p. : ill. ; 26 cm

注記

Includes bibliographical references (p. 631-667) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Harrison, J. (John), 1966- [ Harrison, John, 1966- ]

分類

LCC:QA76.9.L63

DC22:006.333

件名

Computer logic

ISBN

9780521899574 (: hbk)

NCID

BA89372326

番号

NBN : GBA8D1105

NBN : 014821418

LCCN : 2009281331