The Haskell road to logic, maths and programming

Main
Computers - Programming
The Haskell road to logic, maths and...

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck

5.0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

Computers - Programming

年:

2004

出版社:

King's College Publications

言語:

english

ページ:

449

ISBN 10:

0954300696

ISBN 13:

9780954300692

シリーズ:

Texts in computing, 4

ファイル:

PDF, 1.21 MB

IPFS:

,

english, 2004

オンラインで読む

ダウンロード (pdf, 1.21 MB)

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Kees Doets, van Jan Eijck — The Haskell Road to Logic, Maths and Programming

Doets K., van Eijck J., Mackie I. (Ed) — The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4)

Professor Paul Hudak, Paul Hudak — The Haskell School of Expression: Learning Functional Programming Through Multimedia

Kees Doets; Jan van Eijck — The Haskell Road to Logic, Maths and Programming

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Franco Vivaldi — Mathematical writing: An undergraduate course

Vivaldi F. — Mathematical writing. An undergraduate course

Divulgación — Lecturas matemáticas

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets; Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets; Jan van Eijck — The Haskell Road To Logic Maths And Programming

Oscar Bandtlow — Mathematical Structures [Lecture notes]

Oscar Bandtlow — Mathematical Structures [Lecture notes]

Joseph E. Fields — A Gentle Introduction to the Art of Mathematics

Thomas VanDrunen — Discrete Mathematics and Functional Programming

Thompson S. — Haskell: the craft of functional programming

— Haskell, The Craft of Functional Programming

Joseph Fields — Gentle Introduction to the Art of Mathematics

Simon Thompson — Haskell: The Craft of Functional Programming (2nd Edition)

Thompson S. — Haskell: The craft of functional programming

Nicholas A. Loehr — An Introduction to Mathematical Proofs

Nancy Rodgers — Learning to Reason: An Introduction to Logic, Sets, and Relations

Peter J. Eccles — An Introduction to Mathematical Reasoning : Numbers, Sets and Functions

Peter J. Eccles — An Introduction to Mathematical Reasoning

Kees Doets, Jan van Eijck — The Haskell Road to Logic, Maths and Programming

Richard Hammack — Book of Proof

Richard Hammack — Book of Proof

Richard Hammack — Book of Proof (Edition 3.2)

Hammack R — Book of proof

Simon Thompson — Haskell:The Craft of Functional Programming 2nd Edition

Neil Falkner — The Fundamentals of Higher Mathematics

John O'Donnell, Cordelia Hall, Rex Page — Discrete Mathematics Using a Computer

主要なフレーズ