Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logical Frameworks

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Logical Frameworks Gerard HuetG. Plotkin
Libristo kod: 02030023
Nakladnici Cambridge University Press, rujan 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Cijeli opis
? points 291 b
120.62 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Knjiga Meki uvez
common.buy 20.35 €
Životopis černobílého jehněte Tomáš Zmeškal / Knjiga Meki uvez
common.buy 10.12 €
Klucz Wardeszkiewicz / Audio knjiga MP3
common.buy 7.48 €
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Knjiga Meki uvez
common.buy 42.83 €
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Knjiga Meki uvez
common.buy 46.28 €
Mozart-Dialoge Nikolaus Harnoncourt / Knjiga Meki uvez
common.buy 22.98 €
Morgenroethe Friedrich Nietzsche / Knjiga Meki uvez
common.buy 13.56 €
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Knjiga Meki uvez
common.buy 16.20 €
LA CONJUGALITE Jonckheere / Knjiga Meki uvez
common.buy 23.08 €
Le Nouveau Code Civil Roumain Mircea Du u / Knjiga Meki uvez
common.buy 34.93 €
El centre comercial TERESA SOLER / Knjiga Meki uvez
common.buy 3.64 €
Die Schuldscheindarlehen Walter Staehle / Knjiga Meki uvez
common.buy 67.55 €
Wehrlose Ilse Frapan / Knjiga Tvrdi uvez
common.buy 49.01 €
Top
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Knjiga Meki uvez
common.buy 7.79 €
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Knjiga Meki uvez
common.buy 17.31 €
Gramática y ortografía para Secundaria / Knjiga Meki uvez
common.buy 29.26 €
Labyrinthe Kate Mosse / Knjiga Meki uvez
common.buy 15.39 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logical Frameworks
Autor Gerard HuetG. Plotkin
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1991
Broj stranica 416
EAN 9780521413008
ISBN 0521413001
Libristo kod 02030023
Nakladnici Cambridge University Press
Težina 78
Dimenzije 152 x 229 x 27

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Axiomatic Theories of Truth Volker Halbach / Knjiga Meki uvez
common.buy 58.13 €
Green Economy and Urbanisation in Zambia Rodgers Phiri / Knjiga Meki uvez
common.buy 32.10 €
A Merry Little Lie MORGAN SARAH / Knjiga Meki uvez
common.buy 15.08 €
The Curator Owen King / Knjiga Meki uvez
common.buy 9.71 €
Margin of Error Edna Buchanan / E-knjiga Adobe ePub DRM
common.buy 2.32 €
Toiletpaper Calendar 2022 Maurizio Cattelan / Knjiga Meki uvez
common.buy 24.20 €
Basic Paleo-Greek Travis Wayne Goodsell / Knjiga Meki uvez
common.buy 8.60 €
Pompeiana William Gell / Knjiga Meki uvez
common.buy 25.11 €
Sinking of the Odradek Stadium Harry Mathews / Knjiga Meki uvez
common.buy 10.93 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?