Cantitate/Preț
Produs
Total produse
Vezi coșul
Extensions of Logic Programming de Lars-Henrik Eriksson

Extensions of Logic Programming

Editat de Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
en Limba Engleză Paperback – 20 mai 1992
This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.
Citește tot Restrânge

Preț: 32647 lei

Preț vechi: 40809 lei
-20%

Puncte Express: 490

Carte tipărită la comandă

Livrare economică 10-24 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540554981
ISBN-10: 354055498X
Pagini: 384
Ilustrații: VIII, 376 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.58 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.