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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Conclog: A Methodological Approach to Concurrent Logic Programming

Name: Conclog: A Methodological Approach to Concurrent Logic Programming
Brand: Springer, Berlin
SKU: 01565484
Price: 114.62 EUR
Availability: InStock
Author: J.-M. Jacquet
ISBN: 9783540549383

J.-M. Jacquet

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565484

Verlag Springer, Berlin, November 1990

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for p... Vollständige Beschreibung

Libristo-Code: 01565484

277 b

114.62 €

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Deutsches Rechtswörterbuch Heidelberger Akademie der Wissenschaften

Broschur

53.35 €

El Método Para (the Para Method Spanish Edition) Guía Carmona

Broschur

11.53 €

Aus dem Nichts kommt die Flut Markus Lemke

Hardcover

23.38 €

Biografias breves - Julio Cortazar Machado

MP3

5.56 €

APLICACION DE CONCEPTOS BASICOS DE LA TEORIA DE GENERO Y DEL NARANJO PERA

Broschur

22.06 €

EL AMIGO DE LA MUERTE ALARCON

Broschur

24.09 €

PLAYMOBIL Wiltopia. Abenteuer Australien. Die Koalas sind los! Corinna Jegelka

Hardcover

10.32 €

Lemur a mládě

Spielzeug

7.28 €

Asthma Tagebuch: Peak Flow Protkoll zum ausfüllen für über 500 Tage ♦ handliche Tabelle mit Vorlage im 6x9 Format ♦ Motiv: Msed Notizbucher

Broschur

10.42 €

Ökonomie und Ökologie. Alfred Maußner

Broschur

116.64 €

Bylinky na talíři i v domácím léčení Radka Hrevušová

Broschur

10.72 €

Embriología general : conceptos generales del aparato locomotor, región axil, miembro torácico y miembro pelviano S. Climent Peris

Broschur

48.70 €

Tous Les Noms Jose Saramago

Broschur

10.93 €

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Broschur

38.37 €

Seven Nenad Vasilic

Audio CD

23.08 €

Einfache Rechenmandalas für den Zahlenraum bis 10 Sophie Block

Blatt

13.46 €

Fyzika pro každého R. Kubínek

Broschur

7.69 €

Glosario Oftalmológico (Inglés- Español) Clara Cecilia Valdés Menéndez

Broschur

34.93 €

Moses Mendelssohn: Gesammelte Schriften. Jubiläumsausgabe / Band 19: Hebräische Schriften III: Briefwechsel (1761-1785) Moses Mendelssohn

Hardcover

246.76 €

Marchesi Antinori, italienische Ausgabe Ralf Frenzel

Hardcover

70.16 €

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for programming init.Conclog was designed bytaking the ideal features of logicprogramming as reference, rather than by concentratingdirectly on operational tricks to ensure efficiency. Thisleads to quite easy declarative programming. Concern forsoundness and completeness ensures that multi-directionaland multi-solution correct procedures can be coded quitestraightforwardly. Assuming suitable hypotheses on theiruses, they can be transformed into very efficient versionsthanks to the introduction of appropriate controlinformation. Correctness-preserving properties are given forthat purpose.The designof Conclog involves three steps. First, a soundand complete parallel execution model of Horn clauseprograms is proposed which reduces subgoals of conjunctionsindependently and uses a calculus for reconcilinginconsistent bindings. Second, this is extended to handlenegation as completely as possible. Third, a minimal andreasonably complete set of extra-logical features aredefined for optimization and practical purposes.The second part of the book presents a methodology forconstructing Conclog in a rigorous way. This covers theentire programming process, from informal specifications vialogic descriptions to efficient programs. The methodologycan be adapted to other languages.

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 Conclog: A Methodological Approach to Concurrent Logic Programming

Autor J.-M. Jacquet

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1991

Anzahl der Seiten 787

EAN 9783540549383

ISBN 3540549382

Libristo-Code 01565484

Verlag Springer, Berlin

Gewicht 1100

Abmessungen 170 x 250 x 40

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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