Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 02030023
Price: 124.59 EUR
Availability: InStock
Author: Gerard HuetG. Plotkin
ISBN: 9780521413008

Gerard HuetG. Plotkin

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02030023

Verlag Cambridge University Press, September 1991

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Vollständige Beschreibung

Libristo-Code: 02030023

305 b

124.59 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Die Stellung Der Privatdozenten (1896) Joseph Jastrow

Broschur

20.99 €

Životopis černobílého jehněte Tomáš Zmeškal

Broschur

11.49 €

Klucz Wardeszkiewicz

MP3

8.29 €

musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich

Broschur

47.95 €

TOLAYTOLA Y EL ISLAM DILLA MAÑAS

Broschur

50.09 €

Mozart-Dialoge Nikolaus Harnoncourt

Broschur

25.29 €

Morgenroethe Friedrich Nietzsche

Broschur

14.90 €

hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz

Broschur

17.95 €

LA CONJUGALITE Jonckheere

Broschur

24.79 €

Le Nouveau Code Civil Roumain Mircea Du u

Broschur

36.49 €

El centre comercial TERESA SOLER

Broschur

3.79 €

Die Schuldscheindarlehen Walter Staehle

Broschur

70.29 €

Wehrlose Ilse Frapan

Hardcover

54.90 €

Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška

Broschur

8.39 €

Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine

Broschur

18.79 €

Gramática y ortografía para Secundaria

Broschur

31.59 €

Labyrinthe Kate Mosse

Broschur

16.59 €

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.

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 Logical Frameworks

Autor Gerard HuetG. Plotkin

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1991

Anzahl der Seiten 416

EAN 9780521413008

ISBN 0521413001

Libristo-Code 02030023

Verlag Cambridge University Press

Gewicht 78

Abmessungen 152 x 229 x 27

Kategorie

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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