Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Logical Frameworks

Език Английски езикАнглийски език
Книга С твърди корици
Книга Logical Frameworks Gerard HuetG. Plotkin
Код Либристо: 02030023
Издателство Cambridge University Press, септември 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Цялото описание
? points 291 b
120.60 €
235.88  лв
Външен склад Изпращаме след 9-15 дни

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

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

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Книга С меки корици
common.buy 20.29 € 39.69 лв
Životopis černobílého jehněte Tomáš Zmeškal / Книга С меки корици
common.buy 11.39 € 22.27 лв
Klucz Wardeszkiewicz / Аудиокнига MP3
common.buy 8.33 € 16.30 лв
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Книга С меки корици
common.buy 45.36 € 88.71 лв
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Книга С меки корици
common.buy 50.74 € 99.25 лв
Mozart-Dialoge Nikolaus Harnoncourt / Книга С меки корици
common.buy 25.58 € 50.02 лв
Morgenroethe Friedrich Nietzsche / Книга С меки корици
common.buy 14.29 € 27.94 лв
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Книга С меки корици
common.buy 17.14 € 33.51 лв
LA CONJUGALITE Jonckheere / Книга С меки корици
common.buy 25.16 € 49.21 лв
Le Nouveau Code Civil Roumain Mircea Du u / Книга С меки корици
common.buy 36.97 € 72.31 лв
El centre comercial TERESA SOLER / Книга С меки корици
common.buy 3.83 € 7.49 лв
Die Schuldscheindarlehen Walter Staehle / Книга С меки корици
common.buy 71.20 € 139.26 лв
Wehrlose Ilse Frapan / Книга С твърди корици
common.buy 51.88 € 101.48 лв
Top
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Книга С меки корици
common.buy 8.54 € 16.70 лв
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Книга С меки корици
common.buy 19.05 € 37.26 лв
Gramática y ortografía para Secundaria / Книга С меки корици
common.buy 32.00 € 62.58 лв
Labyrinthe Kate Mosse / Книга С меки корици
common.buy 16.77 € 32.81 лв

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Logical Frameworks
Автор Gerard HuetG. Plotkin
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1991
Брой страници 416
Баркод 9780521413008
ISBN 0521413001
Код Либристо 02030023
Издателство Cambridge University Press
Тегло 78
Размери 152 x 229 x 27

Категории

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Axiomatic Theories of Truth Volker Halbach / Книга С меки корици
common.buy 58.10 € 113.63 лв
Green Economy and Urbanisation in Zambia Rodgers Phiri / Книга С меки корици
common.buy 34.07 € 66.64 лв
A Merry Little Lie MORGAN SARAH / Книга С меки корици
common.buy 15.06 € 29.46 лв
The Curator Owen King / Книга С меки корици
common.buy 10.40 € 20.35 лв
Margin of Error Edna Buchanan / E-книга Adobe ePub DRM
common.buy 2.58 € 5.05 лв
Toiletpaper Calendar 2022 Maurizio Cattelan / Книга С меки корици
common.buy 26.35 € 51.54 лв
Basic Paleo-Greek Travis Wayne Goodsell / Книга С меки корици
common.buy 8.54 € 16.70 лв
Pompeiana William Gell / Книга С меки корици
common.buy 26.51 € 51.85 лв
Sinking of the Odradek Stadium Harry Mathews / Книга С меки корици
common.buy 11.59 € 22.68 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo