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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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: 66.99 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

164 b

66.99 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

CAFE CREME 3 CAHIER D'EXERCICES Marcella Beacco di Giura

Broschur

17.69 €

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

16.09 €

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

Broschur

18.00 €

HOMMAGE A CHOPIN GUITARE ALEXANDRE TANSMAN Buch

binding.

17.39 €

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

Broschur

8.89 €

Tibetan Mantras for Turbulent Times, Audio-CD Deva Premal

Audio CD

24.39 €

Nacktes Leben T._O. Immisch

Hardcover

28.00 €

O CROCODILO O QUE NON LLE GUSTABA A AUGA GEMMA MERINO

Hardcover

12.59 €

Hansestadte und die Kontinentalsperre Walther Vogel

Broschur

29.90 €

Deadly Class - 1988, Kinder ohne Heimat Rick Remender

Broschur

16.80 €

Dieta sirtuinowa Kleine-Gunk Bernd

Broschur

7.59 €

CULPA NUESTRA MERCEDES RON

Hardcover

18.59 €

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

Broschur

16.09 €

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