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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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.22 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Carte Carte broșată
common.buy 111.75 lei
Životopis černobílého jehněte Tomáš Zmeškal / Carte Carte broșată
common.buy 56.39 lei
Klucz Wardeszkiewicz / Audiobook MP3
common.buy 41.69 lei
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Carte Carte broșată
common.buy 237.90 lei
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Carte Carte broșată
common.buy 254.69 lei
Mozart-Dialoge Nikolaus Harnoncourt / Carte Carte broșată
common.buy 127.39 lei
Morgenroethe Friedrich Nietzsche / Carte Carte broșată
common.buy 75.16 lei
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Carte Carte broșată
common.buy 89.86 lei
LA CONJUGALITE Jonckheere / Carte Carte broșată
common.buy 126.55 lei
Le Nouveau Code Civil Roumain Mircea Du u / Carte Carte broșată
common.buy 193.90 lei
El centre comercial TERESA SOLER / Carte Carte broșată
common.buy 20.01 lei
Die Schuldscheindarlehen Walter Staehle / Carte Carte broșată
common.buy 373.64 lei
Wehrlose Ilse Frapan / Carte Copertă tare
common.buy 272.20 lei
Top
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Carte Carte broșată
common.buy 42.73 lei
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Carte Carte broșată
common.buy 95.28 lei
Gramática y ortografía para Secundaria / Carte Carte broșată
common.buy 160.86 lei
Labyrinthe Kate Mosse / Carte Carte broșată
common.buy 84.44 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 318.91 lei
Green Economy and Urbanisation in Zambia Rodgers Phiri / Carte Carte broșată
common.buy 178.68 lei
A Merry Little Lie MORGAN SARAH / Carte Carte broșată
common.buy 84.02 lei
The Curator Owen King / Carte Carte broșată
common.buy 54.72 lei
Margin of Error Edna Buchanan / E-book Adobe ePub DRM
common.buy 13.02 lei
Toiletpaper Calendar 2022 Maurizio Cattelan / Carte Carte broșată
common.buy 132.60 lei
Basic Paleo-Greek Travis Wayne Goodsell / Carte Carte broșată
common.buy 47.11 lei
Pompeiana William Gell / Carte Carte broșată
common.buy 139.17 lei
Sinking of the Odradek Stadium Harry Mathews / Carte Carte broșată
common.buy 60.77 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