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

Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 02030023
Price: 102.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

251 b

102.59 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La Folle Histoire du trail Jean-Philippe Lefief

Broschur

25.09 €

musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich

Broschur

47.95 €

Schopenstal bis Seil1 No Contributor

Hardcover

119.95 €

TOLAYTOLA Y EL ISLAM DILLA MAÑAS

Broschur

39.09 €

Análisis de la segregación por sexos en el sector de la ense?anza superior en la India Brinda Viswanathan

Broschur

34.19 €

Klucz Wardeszkiewicz

MP3

6.59 €

Monumenta Germaniae Historica: Bericht für das Jahr 1959/60 Herbert Grundmann

Hardcover

139.95 €

Řezbář František Gajda

Blatt

33.99 €

25 Icelandic Folk and Fairy Tales Jon R. Hjalmarsson

Broschur

34.39 €

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

Broschur

9.59 €

Morgenroethe Friedrich Nietzsche

Broschur

14.90 €

LA CONJUGALITE Jonckheere

Broschur

19.39 €

Die Stellung Der Privatdozenten (1896) Joseph Jastrow

Broschur

17.19 €

El centre comercial TERESA SOLER

Broschur

4.69 €

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

Broschur

17.95 €

Die Schuldscheindarlehen Walter Staehle

Broschur

69.99 €

Wehrlose Ilse Frapan

Hardcover

54.90 €

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

Broschur

6.89 €

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

Broschur

14.49 €

Gramática y ortografía para Secundaria

Broschur

24.89 €

Labyrinthe Kate Mosse

Broschur

12.79 €

Le Nouveau Code Civil Roumain Mircea Du u

Broschur

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.

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