Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 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
119.81 €
234.34  лв
Външен склад Изпращаме след 10-16 дни

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

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

La Folle Histoire du trail Jean-Philippe Lefief / Книга С меки корици
common.buy 31.00 € 60.64 лв
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Книга С меки корици
common.buy 18.71 € 36.60 лв
25 Icelandic Folk and Fairy Tales Jon R. Hjalmarsson / Книга С меки корици
common.buy 44.17 € 86.39 лв
LA CONJUGALITE Jonckheere / Книга С меки корици
common.buy 23.75 € 46.46 лв
Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann / Книга С твърди корици
common.buy 145.42 € 284.42 лв
Klucz Wardeszkiewicz / Аудиокнига MP3
common.buy 8.38 € 16.39 лв
Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan / Книга С меки корици
common.buy 41.25 € 80.69 лв
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Книга С меки корици
common.buy 50.18 € 98.15 лв
Schopenstal bis Seil1 No Contributor / Книга С твърди корици
common.buy 124.70 € 243.89 лв
Životopis černobílého jehněte Tomáš Zmeškal / Книга С меки корици
common.buy 11.31 € 22.12 лв
Řezbář František Gajda / Книга Лист
common.buy 39.85 € 77.94 лв
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Книга С меки корици
common.buy 45.06 € 88.13 лв
Morgenroethe Friedrich Nietzsche / Книга С меки корици
common.buy 14.19 € 27.75 лв
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Книга С меки корици
common.buy 17.02 € 33.29 лв
Die Schuldscheindarlehen Walter Staehle / Книга С меки корици
common.buy 70.70 € 138.28 лв
Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Книга С меки корици
common.buy 20.16 € 39.43 лв
Le Nouveau Code Civil Roumain Mircea Du u / Книга С меки корици
common.buy 36.66 € 71.70 лв
arquitectura vernacula en Trinidad Duznel Z. Amador / Книга С меки корици
common.buy 145.94 € 285.43 лв
Labyrinthe Kate Mosse / Книга С меки корици
common.buy 15.47 € 30.26 лв
Gramática y ortografía para Secundaria / Книга С меки корици
common.buy 31.57 € 61.74 лв
Подготвяме
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Книга С меки корици
common.buy 8.12 € 15.88 лв
Wehrlose Ilse Frapan / Книга С твърди корици
common.buy 51.54 € 100.81 лв
El centre comercial TERESA SOLER / Книга С меки корици
common.buy 5.70 € 11.15 лв

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 57.69 € 112.84 лв
Toiletpaper Calendar 2022 Maurizio Cattelan / Книга С меки корици
common.buy 24.94 € 48.77 лв
Pharmacology Rochelle D. Schwartz-Bloom / Книга С твърди корици
common.buy 290.54 € 568.25 лв
Margin of Error Edna Buchanan / E-книга Adobe ePub DRM
common.buy 10.18 € 19.91 лв
Boat Refugees in the Mediterranean Julian Traublinger / Книга С меки корици
common.buy 32.96 € 64.46 лв
In a Garden, and Other Poems. Henry Charles Beeching / Книга С меки корици
common.buy 17.02 € 33.28 лв
Tractor Book DK / Книга С твърди корици
common.buy 28.18 € 55.11 лв
Halo: Legacy Collection Microsoft / Книга С меки корици
common.buy 27.35 € 53.50 лв
Inhouse aligner Manjula Marimuthu / Книга С меки корици
common.buy 10.79 € 21.11 лв
Student Planner Catalina LuluRayofLife / Книга С меки корици
common.buy 9.15 € 17.89 лв
Green Economy and Urbanisation in Zambia Rodgers Phiri / Книга С меки корици
common.buy 33.83 € 66.17 лв
Pompeiana William Gell / Книга С меки корици
common.buy 26.32 € 51.49 лв
Basic Paleo-Greek Travis Wayne Goodsell / Книга С меки корици
common.buy 8.48 € 16.59 лв
Valor is Lovely: Solving the Murder of Val Mitchell Dody Tennell / Книга С меки корици
common.buy 18.67 € 36.51 лв
Grapes And The Wind Pablo Neruda / Книга С твърди корици
common.buy 24.94 € 48.77 лв
Jess Franco KRISTOFER TO UPJOHN / Книга С меки корици
common.buy 12.75 € 24.93 лв
Watergate CQ Press / Книга С твърди корици
common.buy 469.14 € 917.56 лв
Sinking of the Odradek Stadium Harry Mathews / Книга С меки корици
common.buy 11.98 € 23.42 лв
The Curator Owen King / Книга С меки корици
common.buy 11.41 € 22.32 лв
Amazon Rainforest Book and MP3 Pack Bernard Smith / Книга С твърди корици
common.buy 12.39 € 24.23 лв
Подготвяме
FAILURE FRAME: I BECAME THE V10 V10 / Книга С меки корици
common.buy 13.62 € 26.64 лв
A Merry Little Lie MORGAN SARAH / Книга С меки корици
common.buy 15.37 € 30.06 лв
Piano Specimen Sight-Reading Tests, Grade 2 ABRSM / Печатни материали Ноти
common.buy 10.02 € 19.60 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?