Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Logical Frameworks

Limba englezăengleză
Carte Copertă tare
Carte Logical Frameworks Gerard HuetG. Plotkin
Codul Libristo: 02030023
Editura Cambridge University Press, septembrie 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Descrierea completă
? points 305 b
662.65 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La Folle Histoire du trail Jean-Philippe Lefief / Carte Carte broșată
common.buy 161.38 lei
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Carte Carte broșată
common.buy 238.06 lei
Schopenstal bis Seil1 No Contributor / Carte Copertă tare
common.buy 659.31 lei
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Carte Carte broșată
common.buy 254.12 lei
Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan / Carte Carte broșată
common.buy 218.13 lei
Klucz Wardeszkiewicz / Audiobook MP3
common.buy 42.14 lei
Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann / Carte Copertă tare
common.buy 769.06 lei
Řezbář František Gajda / Carte Foaie
common.buy 199.04 lei
25 Icelandic Folk and Fairy Tales Jon R. Hjalmarsson / Carte Carte broșată
common.buy 215.94 lei
Životopis černobílého jehněte Tomáš Zmeškal / Carte Carte broșată
common.buy 56.43 lei
Morgenroethe Friedrich Nietzsche / Carte Carte broșată
common.buy 75.21 lei
LA CONJUGALITE Jonckheere / Carte Carte broșată
common.buy 124.86 lei
Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Carte Carte broșată
common.buy 111.82 lei
El centre comercial TERESA SOLER / Carte Carte broșată
common.buy 29.72 lei
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Carte Carte broșată
common.buy 89.92 lei
Die Schuldscheindarlehen Walter Staehle / Carte Carte broșată
common.buy 373.88 lei
Wehrlose Ilse Frapan / Carte Copertă tare
common.buy 272.38 lei
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Carte Carte broșată
common.buy 42.97 lei
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Carte Carte broșată
common.buy 94.92 lei
Gramática y ortografía para Secundaria / Carte Carte broșată
common.buy 160.33 lei
Labyrinthe Kate Mosse / Carte Carte broșată
common.buy 82.51 lei
Le Nouveau Code Civil Roumain Mircea Du u / Carte Carte broșată
common.buy 194.03 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logical Frameworks
Autor Gerard HuetG. Plotkin
Limba engleză
Legare Carte - Copertă tare
Data publicării 1991
Număr pagini 416
EAN 9780521413008
ISBN 0521413001
Codul Libristo 02030023
Editura Cambridge University Press
Greutatea 78
Dimensiuni 152 x 229 x 27

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Axiomatic Theories of Truth Volker Halbach / Carte Carte broșată
common.buy 319.11 lei
Jess Franco KRISTOFER TO UPJOHN / Carte Carte broșată
common.buy 71.66 lei
In a Garden, and Other Poems. Henry Charles Beeching / Carte Carte broșată
common.buy 95.34 lei
Tractor Book DK / Carte Copertă tare
common.buy 148.13 lei
Pompeiana William Gell / Carte Carte broșată
common.buy 139.26 lei
Basic Paleo-Greek Travis Wayne Goodsell / Carte Carte broșată
common.buy 47.14 lei
Valor is Lovely: Solving the Murder of Val Mitchell Dody Tennell / Carte Carte broșată
common.buy 103.58 lei
Grapes And The Wind Pablo Neruda / Carte Copertă tare
common.buy 138.11 lei
Green Economy and Urbanisation in Zambia Rodgers Phiri / Carte Carte broșată
common.buy 178.80 lei
Student Planner Catalina LuluRayofLife / Carte Carte broșată
common.buy 50.38 lei
Toiletpaper Calendar 2022 Maurizio Cattelan / Carte Carte broșată
common.buy 131.02 lei
Top
Halo: Legacy Collection Microsoft / Carte Carte broșată
common.buy 181.62 lei
Margin of Error Edna Buchanan / E-book Adobe ePub DRM
common.buy 51.21 lei
The Curator Owen King / Carte Carte broșată
common.buy 73.22 lei
Top
FAILURE FRAME: I BECAME THE V10 V10 / Carte Carte broșată
common.buy 63.42 lei
A Merry Little Lie MORGAN SARAH / Carte Carte broșată
common.buy 84.07 lei
Top
Inhouse aligner Manjula Marimuthu / Carte Carte broșată
common.buy 59.77 lei
Sinking of the Odradek Stadium Harry Mathews / Carte Carte broșată
common.buy 63.21 lei
Boat Refugees in the Mediterranean Julian Traublinger / Carte Carte broșată
common.buy 174.21 lei
Amazon Rainforest Book and MP3 Pack Bernard Smith / Carte Copertă tare
common.buy 63.00 lei
Watergate CQ Press / Carte Copertă tare
common.buy 2 348.93 lei
Top
Piano Specimen Sight-Reading Tests, Grade 2 ABRSM / Materiale tipărite Note muzicale
common.buy 55.18 lei
Conservation Biology Fred Van Dyke / Carte Carte broșată
common.buy 363.66 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo