Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logical Frameworks

Język AngielskiAngielski
Książka Twarda
Książka Logical Frameworks Gerard HuetG. Plotkin
Kod Libristo: 02030023
Wydawnictwo Cambridge University Press, wrzesień 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Cały opis
? points 291 b
509.95 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Książka Miękka
common.buy 85.89 zł
Životopis černobílého jehněte Tomáš Zmeškal / Książka Miękka
common.buy 45.49 zł
Klucz Wardeszkiewicz / Audiobook MP3
common.buy 33.57 zł
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Książka Miękka
common.buy 181.20 zł
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Książka Miękka
common.buy 205.16 zł
Mozart-Dialoge Nikolaus Harnoncourt / Książka Miękka
common.buy 102.72 zł
Morgenroethe Friedrich Nietzsche / Książka Miękka
common.buy 57.22 zł
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Książka Miękka
common.buy 68.55 zł
LA CONJUGALITE Jonckheere / Książka Miękka
common.buy 102.02 zł
Le Nouveau Code Civil Roumain Mircea Du u / Książka Miękka
common.buy 147.62 zł
El centre comercial TERESA SOLER / Książka Miękka
common.buy 15.22 zł
Die Schuldscheindarlehen Walter Staehle / Książka Miękka
common.buy 285.64 zł
Wehrlose Ilse Frapan / Książka Twarda
common.buy 207.26 zł
TOP
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Książka Miękka
common.buy 32.86 zł
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Książka Miękka
common.buy 76.76 zł
Gramática y ortografía para Secundaria / Książka Miękka
common.buy 129.58 zł
Labyrinthe Kate Mosse / Książka Miękka
common.buy 68.04 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logical Frameworks
Autor Gerard HuetG. Plotkin
Język Angielski
Oprawa Książka - Twarda
Data wydania 1991
Liczba stron 416
EAN 9780521413008
ISBN 0521413001
Kod Libristo 02030023
Wydawnictwo Cambridge University Press
Waga 78
Wymiary 152 x 229 x 27

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Axiomatic Theories of Truth Volker Halbach / Książka Miękka
common.buy 245.65 zł
Green Economy and Urbanisation in Zambia Rodgers Phiri / Książka Miękka
common.buy 135.90 zł
A Merry Little Lie MORGAN SARAH / Książka Miękka
common.buy 63.63 zł
The Curator Owen King / Książka Miękka
common.buy 41.28 zł
Margin of Error Edna Buchanan / E-book Adobe ePub DRM
common.buy 10.51 zł
Toiletpaper Calendar 2022 Maurizio Cattelan / Książka Miękka
common.buy 106.93 zł
Basic Paleo-Greek Travis Wayne Goodsell / Książka Miękka
common.buy 36.17 zł
Pompeiana William Gell / Książka Miękka
common.buy 106.03 zł
Sinking of the Odradek Stadium Harry Mathews / Książka Miękka
common.buy 46.40 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo