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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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 251 b
Gwarancja
najlepszej
ceny ▸
102.59 € včetně DPH
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La Folle Histoire du trail Jean-Philippe Lefief / Książka Miękka
common.buy 25.09 €
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Książka Miękka
common.buy 47.95 €
Schopenstal bis Seil1 No Contributor / Książka Twarda
common.buy 119.95 €
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Książka Miękka
common.buy 39.09 €
Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan / Książka Miękka
common.buy 34.19 €
Klucz Wardeszkiewicz / Audiobook MP3
common.buy 6.59 €
Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann / Książka Twarda
common.buy 139.95 €
Řezbář František Gajda / Książka Karta
common.buy 33.99 €
25 Icelandic Folk and Fairy Tales Jon R. Hjalmarsson / Książka Miękka
common.buy 34.39 €
Životopis černobílého jehněte Tomáš Zmeškal / Książka Miękka
common.buy 9.59 €
Morgenroethe Friedrich Nietzsche / Książka Miękka
common.buy 14.90 €
LA CONJUGALITE Jonckheere / Książka Miękka
common.buy 19.39 €
Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Książka Miękka
common.buy 17.19 €
El centre comercial TERESA SOLER / Książka Miękka
common.buy 4.69 €
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Książka Miękka
common.buy 17.95 €
Die Schuldscheindarlehen Walter Staehle / Książka Miękka
common.buy 69.99 €
Wehrlose Ilse Frapan / Książka Twarda
common.buy 54.90 €
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Książka Miękka
common.buy 6.89 €
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Książka Miękka
common.buy 14.49 €
Gramática y ortografía para Secundaria / Książka Miękka
common.buy 24.89 €
Labyrinthe Kate Mosse / Książka Miękka
common.buy 12.79 €
Le Nouveau Code Civil Roumain Mircea Du u / Książka Miękka
common.buy 30.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.

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 49.39 €
Jess Franco KRISTOFER TO UPJOHN / Książka Miękka
common.buy 10.29 €
In a Garden, and Other Poems. Henry Charles Beeching / Książka Miękka
common.buy 13.69 €
Tractor Book DK / Książka Twarda
common.buy 22.59 €
Pompeiana William Gell / Książka Miękka
common.buy 21.89 €
Basic Paleo-Greek Travis Wayne Goodsell / Książka Miękka
common.buy 7.19 €
Valor is Lovely: Solving the Murder of Val Mitchell Dody Tennell / Książka Miękka
common.buy 19.49 €
Grapes And The Wind Pablo Neruda / Książka Twarda
common.buy 21.19 €
Green Economy and Urbanisation in Zambia Rodgers Phiri / Książka Miękka
common.buy 27.99 €
Student Planner Catalina LuluRayofLife / Książka Miękka
common.buy 7.99 €
Toiletpaper Calendar 2022 Maurizio Cattelan / Książka Miękka
common.buy 20.29 €
TOP
Halo: Legacy Collection Microsoft / Książka Miękka
common.buy 28.49 €
Margin of Error Edna Buchanan / E-book Adobe ePub DRM
common.buy 8.09 €
The Curator Owen King / Książka Miękka
common.buy 12.59 €
TOP
FAILURE FRAME: I BECAME THE V10 V10 / Książka Miękka
common.buy 9.19 €
A Merry Little Lie MORGAN SARAH / Książka Miękka
common.buy 12.09 €
TOP
Inhouse aligner Manjula Marimuthu / Książka Miękka
common.buy 9.19 €
Sinking of the Odradek Stadium Harry Mathews / Książka Miękka
common.buy 9.89 €
Boat Refugees in the Mediterranean Julian Traublinger / Książka Miękka
common.buy 27.29 €
Amazon Rainforest Book and MP3 Pack Bernard Smith / Książka Twarda
common.buy 9.79 €
Watergate CQ Press / Książka Twarda
common.buy 368.09 €
TOP
Piano Specimen Sight-Reading Tests, Grade 2 ABRSM / Prasa Nuty
common.buy 8.49 €
Conservation Biology Fred Van Dyke / Książka Miękka
common.buy 57.69 €

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?