Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logical Frameworks

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Logical Frameworks Gerard HuetG. Plotkin
Libristo kód: 02030023
Nakladateľstvo Cambridge University Press, september 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Celý popis
? points 278 b
114.93 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Kniha Brožovaná
common.buy 19.32 €
Životopis černobílého jehněte Tomáš Zmeškal / Kniha Brožovaná
common.buy 10.41 €
Klucz Wardeszkiewicz / Audiokniha MP3
common.buy 7.88 €
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Kniha Brožovaná
common.buy 42.79 €
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Kniha Brožovaná
common.buy 48.45 €
Mozart-Dialoge Nikolaus Harnoncourt / Kniha Brožovaná
common.buy 24.27 €
Morgenroethe Friedrich Nietzsche / Kniha Brožovaná
common.buy 13.55 €
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Kniha Brožovaná
common.buy 16.18 €
LA CONJUGALITE Jonckheere / Kniha Brožovaná
common.buy 24.07 €
Le Nouveau Code Civil Roumain Mircea Du u / Kniha Brožovaná
common.buy 34.90 €
El centre comercial TERESA SOLER / Kniha Brožovaná
common.buy 3.63 €
Die Schuldscheindarlehen Walter Staehle / Kniha Brožovaná
common.buy 67.48 €
Wehrlose Ilse Frapan / Kniha Pevná
common.buy 48.96 €
Top
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Kniha Brožovaná
common.buy 7.07 €
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Kniha Brožovaná
common.buy 18.10 €
Gramática y ortografía para Secundaria / Kniha Brožovaná
common.buy 30.65 €
Labyrinthe Kate Mosse / Kniha Brožovaná
common.buy 16.08 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logical Frameworks
Autor Gerard HuetG. Plotkin
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 1991
Počet strán 416
EAN 9780521413008
ISBN 0521413001
Libristo kód 02030023
Nakladateľstvo Cambridge University Press
Váha 78
Rozmery 152 x 229 x 27

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Axiomatic Theories of Truth Volker Halbach / Kniha Brožovaná
common.buy 55.33 €
Green Economy and Urbanisation in Zambia Rodgers Phiri / Kniha Brožovaná
common.buy 32.06 €
A Merry Little Lie MORGAN SARAH / Kniha Brožovaná
common.buy 14.05 €
The Curator Owen King / Kniha Brožovaná
common.buy 9.70 €
Margin of Error Edna Buchanan / E-kniha Adobe ePub DRM
common.buy 2.52 €
Toiletpaper Calendar 2022 Maurizio Cattelan / Kniha Brožovaná
common.buy 25.28 €
Basic Paleo-Greek Travis Wayne Goodsell / Kniha Brožovaná
common.buy 8.08 €
Pompeiana William Gell / Kniha Brožovaná
common.buy 25.08 €
Sinking of the Odradek Stadium Harry Mathews / Kniha Brožovaná
common.buy 10.92 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet