Handbook of logic and proof techniques for computer science | 金沢大学附属図書館 OPAC plus

>> Google Books

QRコード(所蔵情報)

Handbook of logic and proof techniques for computer science

フォーマット:: 図書
責任表示:: Steven G. Krantz
言語:: 英語
出版情報:: Boston : Birkhäuser
New York : Springer, c2002
形態:: xix, 245 p. ; 24 cm
著者名:: Krantz, Steven G. (Steven George), 1951- <DA01302399>
書誌ID:: BA55879699
ISBN:: 9780817642204 [081764220X]

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

主題:	Computers; Electronic data processing
分類・件名:	LCC : QA76 DDC : 004 LCSH : Computers LCSH : Electronic data processing
注記:	"Glossary of terms from mathematical and sentential logic": p. 189-218 "A guide to the literature": p. 219-229 Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computers Long, Larry E., 1945-, Long, Nancy, 1947- Prentice Hall	7 図書 Differential equations : theory, technique, and practice Krantz, Steven G. (Steven George), 1951-, Nolan, Carl A. CRC Press
2 図書 Computers, their operation and applications Berkeley, Edmund Callis, Wainwright, Lawrence Reinhold Pub. Co	8 図書 Programming and utilizing digital computers Ledley, Robert Steven McGraw-Hill
3 図書 Computers and information processing : concepts and applications Clark, James F. (James Fred), Allen, Warren W., Klooster, Dale H. South-Western Pub. Co.	9 図書 How to teach mathematics Krantz, Steven G. (Steven George), 1951- American Mathematical Society
4 図書 Computers and information processing : concepts and applications : workbook Clark, James F. (James Fred), Allen, Warren W., Klooster, Dale H. South-Western Pub. Co.	10 図書 Geometric analysis of the Bergman kernel and metric Krantz, Steven G. (Steven George), 1951- Springer
5 図書 Techniques of problem solving Krantz, Steven G. (Steven George), 1951- American Mathematical Society	11 図書 Geometric function theory : explorations in complex analysis Krantz, Steven G. (Steven George), 1951- Birkhäuser
6 電子ブック The Proof is in the Pudding Krantz, Steven George, Krantz, Steven G. Springer New York	12 図書 Complex analysis : the geometric viewpoint Krantz, Steven G. (Steven George), 1951- Mathematical Association of America