Complexity, Logic, and Recursion Theory

Complexity, Logic, and Recursion Theory

Andrea Sorbi , Zuhair Nashed , Earl Taft
まだ評価がありません
1997 · 英語 · ペーパーバック
棚に追加

この本を評価する


ブックジャーナルをエクスポート

説明

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."

本の詳細

形式 ペーパーバック
ページ数 384ページ
言語 英語
公開されました Feb 4, 1997
出版社 CRC Press
ISBN-10 0824700260
ISBN-13 9780824700263
棚に追加

この本を評価する


ブックジャーナルをエクスポート