Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Conclog: A Methodological Approach to Concurrent Logic Programming

Limba englezăengleză
Carte Carte broșată
Carte Conclog: A Methodological Approach to Concurrent Logic Programming J.-M. Jacquet
Codul Libristo: 01565484
Editura Springer, Berlin, noiembrie 1990
This book presents a new concurrent logic programminglanguage called Conclog and a methodology for p... Descrierea completă
? points 277 b
601.65 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Deutsches Rechtswörterbuch Heidelberger Akademie der Wissenschaften / Carte Carte broșată
common.buy 280.23 lei
El Método Para (the Para Method Spanish Edition) Guía Carmona / Carte Carte broșată
common.buy 64.00 lei
Aus dem Nichts kommt die Flut Markus Lemke / Carte Copertă tare
common.buy 129.79 lei
Biografias breves - Julio Cortazar Machado / Audiobook MP3
common.buy 29.08 lei
APLICACION DE CONCEPTOS BASICOS DE LA TEORIA DE GENERO Y DEL NARANJO PERA / Carte Carte broșată
common.buy 115.92 lei
EL AMIGO DE LA MUERTE ALARCON / Carte Carte broșată
common.buy 126.35 lei
PLAYMOBIL Wiltopia. Abenteuer Australien. Die Koalas sind los! Corinna Jegelka / Carte Copertă tare
common.buy 57.54 lei
Lemur a mládě / Joc / Jucărie Jucărie
common.buy 38.25 lei
Asthma Tagebuch: Peak Flow Protkoll zum ausfüllen für über 500 Tage ♦ handliche Tabelle mit Vorlage im 6x9 Format ♦ Motiv: Msed Notizbucher / Carte Carte broșată
common.buy 54.52 lei
Ökonomie und Ökologie. Alfred Maußner / Carte Carte broșată
common.buy 611.97 lei
Top
Bylinky na talíři i v domácím léčení Radka Hrevušová / Carte Carte broșată
common.buy 56.18 lei
Embriología general : conceptos generales del aparato locomotor, región axil, miembro torácico y miembro pelviano S. Climent Peris / Carte Carte broșată
common.buy 270.12 lei
Tous Les Noms Jose Saramago / Carte Carte broșată
common.buy 57.54 lei
Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner / Carte Carte broșată
common.buy 213.19 lei
Seven Nenad Vasilic / Audio Audio CD
common.buy 127.18 lei
Einfache Rechenmandalas für den Zahlenraum bis 10 Sophie Block / Carte Foaie
common.buy 74.43 lei
Fyzika pro každého R. Kubínek / Carte Carte broșată
common.buy 40.13 lei
Glosario Oftalmológico (Inglés- Español) Clara Cecilia Valdés Menéndez / Carte Carte broșată
common.buy 193.90 lei
Moses Mendelssohn: Gesammelte Schriften. Jubiläumsausgabe / Band 19: Hebräische Schriften III: Briefwechsel (1761-1785) Moses Mendelssohn / Carte Copertă tare
common.buy 1 294.84 lei
Marchesi Antinori, italienische Ausgabe Ralf Frenzel / Carte Copertă tare
common.buy 368.22 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Conclog: A Methodological Approach to Concurrent Logic Programming
Autor J.-M. Jacquet
Limba engleză
Legare Carte - Carte broșată
Data publicării 1991
Număr pagini 787
EAN 9783540549383
ISBN 3540549382
Codul Libristo 01565484
Editura Springer, Berlin
Greutatea 1100
Dimensiuni 170 x 250 x 40

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis / Carte Carte broșată
common.buy 570.37 lei
Remarks on the Protestant Theory of Church Music Steuart Adolphus Pears / Carte Carte broșată
common.buy 70.78 lei
In Search of Gandhi B. R. Nanda / Carte Carte broșată
common.buy 194.11 lei
Closing of the Middle Ages? England 1471-1529 Richard Britnell / Carte Carte broșată
common.buy 292.22 lei
Shirdi Sai Baba & Other Perfect Masters C. B. Satpathy / Carte Carte broșată
common.buy 42.94 lei
Land of Stone and Thyme / Carte Carte broșată
common.buy 59.00 lei
Too Good for Him. [A Novel.] Florence Marryat / Carte Carte broșată
common.buy 132.19 lei
Other Side of Sarah's Heaven Nancy Lane / Carte Carte broșată
common.buy 87.04 lei
Feederism Kathy Charles / Carte Copertă tare
common.buy 400.54 lei
Mike and Mike's Rules for Sports and Life Mike Greenberg / Audio Audio CD
common.buy 241.24 lei
Friedman Archives Guide to Sony's Alpha 6500 (B&W Edition) Gary L. Friedman / Carte Carte broșată
common.buy 257.92 lei
Evidence-based Implant Dentistry and Systemic Conditions Fawad Javed / Carte Copertă tare
common.buy 659.30 lei
Environmental Contaminants Tarun Gupta / Carte Carte broșată
common.buy 655.65 lei
The Intron Code: An Urban Fantasy Action Adventure Andrew C Piazza / Carte Carte broșată
common.buy 91.84 lei
Open Source Intelligence and Cyber Crime Mohammad A. Tayebi / Carte Copertă tare
common.buy 627.19 lei
Murder, Mayhem, and Mistletoe: Story by Jessica Simpson Jessica Simpson / Carte Carte broșată
common.buy 47.11 lei
Biography of Shah-i-Hamadan (RA) Tahiri Pirzada Abdul Haq Tahiri / Carte Carte broșată
common.buy 186.29 lei
Top
The Winter Soldier: Cold Front Mackenzi Lee / Carte Carte broșată
common.buy 46.70 lei
Otherworldly Lukens / Carte Carte broșată
common.buy 59.52 lei
Top
The Christmas Tree Farm (Deluxe Edition) GILMORE LAURIE / Carte Copertă tare
common.buy 104.24 lei
Dopamine in the CNS II Gaetano Di Chiara / Carte Carte broșată
common.buy 3 129.63 lei
The Male in Farm Animal Reproduction M. Courot / Carte Copertă tare
common.buy 1 779.42 lei
Extending Educational Change Andy Hargreaves / Carte Carte broșată
common.buy 285.96 lei
Neurohumoral Regulation of Coronary Flow W. H. van Gilst / Carte Copertă tare
common.buy 570.37 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?