Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Logic and Computation

Name: Logic and Computation
Brand: Cambridge University Press
SKU: 02029497
Price: 73.01 EUR
Availability: InStock
Author: Lawrence C. Paulson
ISBN: 9780521395601

Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Език

Английски език

Книга С меки корици

Код Либристо: 02029497

Издателство Cambridge University Press, юли 1990

This book is concerned with techniques for formal theorem-proving, with particular reference to Camb... Цялото описание

Код Либристо: 02029497

176 b

73.01 €

142.80 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

El proletario en Espa?a y el negro en Cuba Ramon J Espinosa

С меки корици

11.80 € 23.08 лв

Karlek och stalull: om att vaxa upp med en utvecklingsstord mamma Pipping

MP3

6.68 € 13.06 лв

Morphologie der Familiennamen Fabian Fahlbusch

С твърди корици

502.21 € 982.24 лв

Frankenstein Mary Shelley

С меки корици

11.65 € 22.78 лв

Fille Aux Bluets. Un Paysan de l'Ancien Regime D Hericault-C

С меки корици

26.25 € 51.34 лв

3000 Japanese Vocabulary Words for the JLPT Level 1 (Trilingue Japonais- Anglais- Chinois) ARK ACADEMY

С меки корици

30.24 € 59.14 лв

Technologische Spillover-Effekte als Determinanten des Wirtschaftswachstums. Jürgen Bitzer

С меки корици

72.81 € 142.39 лв

SchärenSegeln Claus Aktoprak

С меки корици

23.76 € 46.48 лв

Premeny Slovenska Ján Viazanička

С меки корици

19.31 € 37.77 лв

p dagogische Fachkraft und Professionalit t Marcus Damm

С твърди корици

60.07 € 117.48 лв

Die Satanischen Essays Anton Sz. LaVey

С твърди корици

28.53 € 55.80 лв

Gespräche mit Erzengel Michael. Bd.5 atara

С меки корици

16.26 € 31.79 лв

Contes rapides François Coppée

С меки корици

14.29 € 27.94 лв

Jenseits der Flammen Reinhart Brandau

С меки корици

6.99 € 13.66 лв

Schulische Mehrsprachigkeitsfoerderung in Schweden und Deutschland Kevin Niehaus

С меки корици

37.90 € 74.13 лв

Effiziente Rekonstruktion Und Alternative Spulentopologien F r Magnetic-Particle-Imaging Tobias Knopp

С меки корици

71.20 € 139.26 лв

Wohin mit meiner Wut? Dagmar Geisler

С твърди корици

13.41 € 26.22 лв

Angststoerungen im jungeren Schulalter und Moeglichkeiten einer schulischen Intervention Steffanie Rosenhahn

С меки корици

17.14 € 33.51 лв

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.