请输入要查询的图书：

查询 可以输入图书全称，关键词或ISBN号

Isabelle/HOL

ISBN：9783540433767

《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proo...

Isabelle HOL

---

Isabelle/HOL

ISBN：9787835404333

在线阅读本书 This textbook-like tutorial is a self-contained introduction to interactive pro...

Isabelle HOL

---

JOAN NATHAN'S JEWISH HOL COOK

ISBN：9780805242171

Jewish holidays are defined by food. Yet Jewish cooking is always changing, encompassing the flavor...

JOAN NATHAN S JEWISH HOL COOK

---

HOL. CC

ISBN：9781591296706

...

HOL CC

---

Tus siete centros de energía. Un enfoque holístico para lograr la vitalidad física, emocional y espiritual (Spanish Edition)

ISBN：9789681904692

...

Tus siete centros de energ í a Un enfoque hol í stico para lograr la vitalidad f í sica emocional y espiritual Spanish Edition

---

Introduction to HOL

ISBN：9780521441896

...

Introduction to HOL

---