Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Programming with Higher-Order Logic

Name: Programming with Higher-Order Logic
Brand: Cambridge University Press
SKU: 01234526
Price: 57.89 EUR
Availability: InStock
Author: Dale Miller
ISBN: 9780521879408

Dale Miller

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01234526

Verlag Cambridge University Press, Juni 2012

Formal systems that describe computations over syntactic structures occur frequently in computer sci... Vollständige Beschreibung

Libristo-Code: 01234526

142 b

57.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Będą z tego kłopoty. Dłuższa przerwa. Tom 1 Agata Przybyłek

Broschur

8.99 €

Mein Gebet macht mich stark Stormie Omartian

Adobe ePub DRM

12.89 €

111 Orte auf Usedom, die man gesehen haben muss Thomas Fuchs

Broschur

18.00 €

Guide de conversation Francais-Chinois et mini dictionnaire de 250 mots Andrey Taranov

Broschur

9.19 €

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura

Broschur

14.19 €

Cuba: l'Insurection Cubaine de Fevrier 1895 A Mai 1896 Espinasse-Secondat-P

Broschur

12.69 €

HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Buch

binding.

13.69 €

Dieta sirtuinowa Kleine-Gunk Bernd

Broschur

5.89 €

Ci?ncia no Singular Antonio Amorim Da Costa

Broschur

32.19 €

Chancenplaner: 60 Fragen für mehr Erfolg im Leben zum Ausfüllen - Motiv: Aquarellblumen Gerda Wagner

Broschur

8.89 €

Nacktes Leben T._O. Immisch

Hardcover

28.00 €

CULPA NUESTRA MERCEDES RON

Hardcover

17.49 €

O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO

Hardcover

11.29 €

Hansestadte und die Kontinentalsperre Walther Vogel

Broschur

29.90 €

Deadly Class - 1988, Kinder ohne Heimat Rick Remender

Broschur

16.80 €

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Programming with Higher-Order Logic

Autor Dale Miller

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2012

Anzahl der Seiten 320

EAN 9780521879408

ISBN 052187940X

Libristo-Code 01234526

Verlag Cambridge University Press

Gewicht 616

Abmessungen 160 x 237 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert