Buch

---

Übersicht

---

Verlag	:	Springer Netherland
Buchreihe	:	Applied Logic Series (Bd. 28)
Sprache	:	Englisch
Erschienen	:	30. 11. 2003
Seiten	:	320
Einband	:	Gebunden
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	1430 g
ISBN	:	9781402016561
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

A Mathematical Model for Biological Memory and Consciousness.- Towards an Interactive Mathematical Proof Mode.- Recent Results in Type Theory and their Relationship to Automath.- Linear Contexts, Sharing Functors: Techniques for Symbolic Computation.- De Bruijn’s Automath and Pure Type Systems.- Hoare Logic with Explicit Contexts.- Transitive Closure and the Mechanization of Mathematics.- Polymorphic Type-checking for the Ramified Theory of Types of Principia Mathematica.- Termination in ACL2 using Multiset Relations.- The ?-Calculus in FM.- Proof Development with ?mega: The Irrationality of % MathType!MTEF!2!1!+-
% feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn
% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr
% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9
% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x
% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaOaaaeaaca
% aIYaaaleqaaaaa!36CB!]]

Dein Warenkorb

---

---

Deine Buchhandlung

---