Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Logical Frameworks

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Logical Frameworks Gerard HuetG. Plotkin
Libristo kód: 02030023
Nakladatelství Cambridge University Press, září 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Celý popis
? points 278 b
2 780 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Morgenroethe Friedrich Nietzsche / Kniha Brožovaná
common.buy 308 Kč
Staudingers Kommentar zum BGB §§ 535-556g (Mietrecht 1 - Allgemeine Vorschriften; Wohnraummiete) Christian Rolfs / Kniha Pevná
common.buy 11 658 Kč
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Kniha Brožovaná
common.buy 975 Kč
Schopenstal bis Seil1 No Contributor / Kniha Pevná
common.buy 2 732 Kč
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Kniha Brožovaná
common.buy 1 170 Kč
Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan / Kniha Brožovaná
common.buy 893 Kč
Klucz Wardeszkiewicz / Audiokniha MP3
common.buy 194 Kč
Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann / Kniha Pevná
common.buy 3 187 Kč
Řezbář František Gajda / Kniha List
common.buy 832 Kč
25 Icelandic Folk and Fairy Tales Jon R. Hjalmarsson / Kniha Brožovaná
common.buy 894 Kč
Životopis černobílého jehněte Tomáš Zmeškal / Kniha Brožovaná
common.buy 251 Kč
LA CONJUGALITE Jonckheere / Kniha Brožovaná
common.buy 560 Kč
La Folle Histoire du trail Jean-Philippe Lefief / Kniha Brožovaná
common.buy 728 Kč
Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Kniha Brožovaná
common.buy 467 Kč
El centre comercial TERESA SOLER / Kniha Brožovaná
common.buy 137 Kč
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Kniha Brožovaná
common.buy 369 Kč
Die Schuldscheindarlehen Walter Staehle / Kniha Brožovaná
common.buy 1 544 Kč
Wehrlose Ilse Frapan / Kniha Pevná
common.buy 1 115 Kč
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Kniha Brožovaná
common.buy 174 Kč
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Kniha Brožovaná
common.buy 436 Kč
Gramática y ortografía para Secundaria / Kniha Brožovaná
common.buy 738 Kč
Labyrinthe Kate Mosse / Kniha Brožovaná
common.buy 366 Kč
Le Nouveau Code Civil Roumain Mircea Du u / Kniha Brožovaná
common.buy 794 Kč
arquitectura vernacula en Trinidad Duznel Z. Amador / Kniha Brožovaná
common.buy 794 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logical Frameworks
Autor Gerard HuetG. Plotkin
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1991
Počet stran 416
EAN 9780521413008
ISBN 0521413001
Libristo kód 02030023
Nakladatelství Cambridge University Press
Váha 78
Rozměry 152 x 229 x 27

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Axiomatic Theories of Truth Volker Halbach / Kniha Brožovaná
common.buy 1 339 Kč
Jess Franco KRISTOFER TO UPJOHN / Kniha Brožovaná
common.buy 291 Kč
In a Garden, and Other Poems. Henry Charles Beeching / Kniha Brožovaná
common.buy 388 Kč
Tractor Book DK / Kniha Pevná
common.buy 554 Kč
Pompeiana William Gell / Kniha Brožovaná
common.buy 570 Kč
Basic Paleo-Greek Travis Wayne Goodsell / Kniha Brožovaná
common.buy 196 Kč
Valor is Lovely: Solving the Murder of Val Mitchell Dody Tennell / Kniha Brožovaná
common.buy 431 Kč
Grapes And The Wind Pablo Neruda / Kniha Pevná
common.buy 577 Kč
Green Economy and Urbanisation in Zambia Rodgers Phiri / Kniha Brožovaná
common.buy 732 Kč
Student Planner Catalina LuluRayofLife / Kniha Brožovaná
common.buy 214 Kč
Toiletpaper Calendar 2022 Maurizio Cattelan / Kniha Brožovaná
common.buy 589 Kč
Halo: Legacy Collection Microsoft / Kniha Brožovaná
common.buy 664 Kč
Margin of Error Edna Buchanan / E-kniha Adobe ePub DRM
common.buy 236 Kč
The Curator Owen King / Kniha Brožovaná
common.buy 327 Kč
Top
FAILURE FRAME: I BECAME THE V10 V10 / Kniha Brožovaná
common.buy 291 Kč
A Merry Little Lie MORGAN SARAH / Kniha Brožovaná
common.buy 341 Kč
Inhouse aligner Manjula Marimuthu / Kniha Brožovaná
common.buy 237 Kč
Sinking of the Odradek Stadium Harry Mathews / Kniha Brožovaná
common.buy 259 Kč
Boat Refugees in the Mediterranean Julian Traublinger / Kniha Brožovaná
common.buy 713 Kč
Amazon Rainforest Book and MP3 Pack Bernard Smith / Kniha Pevná
common.buy 291 Kč
Watergate CQ Press / Kniha Pevná
common.buy 10 812 Kč
Top
Piano Specimen Sight-Reading Tests, Grade 2 ABRSM / Tiskovina Noty
common.buy 241 Kč
Conservation Biology Fred Van Dyke / Kniha Brožovaná
common.buy 1 499 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?