Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 02030023
Price: 115.02 EUR
Availability: InStock
Author: Gerard HuetG. Plotkin
ISBN: 9780521413008

Gerard HuetG. Plotkin

Jazyk

Angličtina

Kniha Pevná

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

Libristo kód: 02030023

278 b

115.02 €

Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die Stellung Der Privatdozenten (1896) Joseph Jastrow

Brožovaná

19.33 €

Životopis černobílého jehněte Tomáš Zmeškal

Brožovaná

10.42 €

Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann

Pevná

139.12 €

Klucz Wardeszkiewicz

MP3

8.09 €

Řezbář František Gajda

List

39.18 €

Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan

Brožovaná

39.28 €

TOLAYTOLA Y EL ISLAM DILLA MAÑAS

Brožovaná

43.94 €

musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich

Brožovaná

42.82 €

LA CONJUGALITE Jonckheere

Brožovaná

23.99 €

El centre comercial TERESA SOLER

Brožovaná

5.15 €

Morgenroethe Friedrich Nietzsche

Brožovaná

13.56 €

Wehrlose Ilse Frapan

Pevná

49.00 €

hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz

Brožovaná

16.19 €

Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška

Brožovaná

7.08 €

Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine

Brožovaná

16.29 €

Gramática y ortografía para Secundaria

Brožovaná

27.84 €

Labyrinthe Kate Mosse

Brožovaná

15.89 €

Die Schuldscheindarlehen Walter Staehle

Brožovaná

67.53 €

Le Nouveau Code Civil Roumain Mircea Du u

Brožovaná

34.93 €

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.