Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logical Frameworks

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Logical Frameworks Gerard HuetG. Plotkin
Koda Libristo: 02030023
Založba Cambridge University Press, september 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Celoten opis
? points 278 b
115.05 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Knjiga Mehka
common.buy 19.33 €
Životopis černobílého jehněte Tomáš Zmeškal / Knjiga Mehka
common.buy 9.51 €
Klucz Wardeszkiewicz / Zvočnica MP3
common.buy 6.98 €
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Knjiga Mehka
common.buy 40.30 €
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Knjiga Mehka
common.buy 44.15 €
Mozart-Dialoge Nikolaus Harnoncourt / Knjiga Mehka
common.buy 21.77 €
Morgenroethe Friedrich Nietzsche / Knjiga Mehka
common.buy 12.75 €
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Knjiga Mehka
common.buy 15.28 €
LA CONJUGALITE Jonckheere / Knjiga Mehka
common.buy 21.97 €
Le Nouveau Code Civil Roumain Mircea Du u / Knjiga Mehka
common.buy 32.81 €
El centre comercial TERESA SOLER / Knjiga Mehka
common.buy 3.23 €
Die Schuldscheindarlehen Walter Staehle / Knjiga Mehka
common.buy 63.90 €
Wehrlose Ilse Frapan / Knjiga Trda
common.buy 46.18 €
Top
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Knjiga Mehka
common.buy 7.38 €
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Knjiga Mehka
common.buy 16.40 €
Gramática y ortografía para Secundaria / Knjiga Mehka
common.buy 27.94 €
Labyrinthe Kate Mosse / Knjiga Mehka
common.buy 14.68 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logical Frameworks
Avtor Gerard HuetG. Plotkin
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 1991
Število strani 416
EAN 9780521413008
ISBN 0521413001
Koda Libristo 02030023
Založba Cambridge University Press
Teža 78
Mere 152 x 229 x 27

Kategorije

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Axiomatic Theories of Truth Volker Halbach / Knjiga Mehka
common.buy 55.39 €
Green Economy and Urbanisation in Zambia Rodgers Phiri / Knjiga Mehka
common.buy 30.27 €
A Merry Little Lie MORGAN SARAH / Knjiga Mehka
common.buy 14.07 €
The Curator Owen King / Knjiga Mehka
common.buy 9.00 €
Margin of Error Edna Buchanan / E-knjiga Adobe ePub DRM
common.buy 2.22 €
Toiletpaper Calendar 2022 Maurizio Cattelan / Knjiga Mehka
common.buy 23.08 €
Basic Paleo-Greek Travis Wayne Goodsell / Knjiga Mehka
common.buy 8.09 €
Pompeiana William Gell / Knjiga Mehka
common.buy 23.59 €
Sinking of the Odradek Stadium Harry Mathews / Knjiga Mehka
common.buy 10.32 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo