Thirty Five Years of Automating Mathematics: Applied Logic Series, cartea 28
Editat de F.D. Kamareddineen Limba Engleză Hardback – 30 noi 2003
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 608.30 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 22 oct 2010 | 608.30 lei 6-8 săpt. | |
Hardback (1) | 614.52 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 noi 2003 | 614.52 lei 6-8 săpt. |
Din seria Applied Logic Series
- 23% Preț: 600.39 lei
- 18% Preț: 1055.67 lei
- 20% Preț: 943.52 lei
- 18% Preț: 906.52 lei
- 15% Preț: 612.63 lei
- 18% Preț: 1160.74 lei
- 18% Preț: 905.75 lei
- 18% Preț: 906.80 lei
- 18% Preț: 909.22 lei
- 15% Preț: 605.98 lei
- 18% Preț: 895.78 lei
- 18% Preț: 899.34 lei
- 18% Preț: 902.03 lei
- 15% Preț: 603.53 lei
- 15% Preț: 605.85 lei
- 20% Preț: 948.85 lei
- 15% Preț: 611.24 lei
- 18% Preț: 906.68 lei
- 15% Preț: 614.82 lei
- 18% Preț: 902.79 lei
- 15% Preț: 558.57 lei
- 18% Preț: 1058.83 lei
- 20% Preț: 320.27 lei
- 18% Preț: 905.46 lei
- 18% Preț: 897.26 lei
Preț: 614.52 lei
Preț vechi: 722.97 lei
-15% Nou
Puncte Express: 922
Preț estimativ în valută:
117.65€ • 127.47$ • 98.24£
117.65€ • 127.47$ • 98.24£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402016561
ISBN-10: 1402016565
Pagini: 336
Ilustrații: IX, 320 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2003
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402016565
Pagini: 336
Ilustrații: IX, 320 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.65 kg
Ediția:2003
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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!]]