Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - 書籍 - Springer Nature Switzerland AG - 9783030878818 - 2021年12月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 2021 edition

価格
¥ 9.769
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月23日 - 年12月3日
クリスマスプレゼントは1月31日まで返品可能です
Zhe Hou の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

222 pages, 25 Illustrations, black and white; X, 222 p. 25 illus.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2021年12月4日
ISBN13 9783030878818
出版社 Springer Nature Switzerland AG
ページ数 222
寸法 242 × 160 × 19 mm   ·   490 g
言語 ドイツ語  

同じ出版社からのその他の記事

Zhe Houのすべてを見る