Cantitate/Preț
Produs
Total produse
Vezi coșul
Foundations of Logic and Functional Programming de Mauro Boscarol

Foundations of Logic and Functional Programming

Editat de Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
en Limba Engleză Paperback – 27 apr 1988
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
Citește tot Restrânge

Preț: 31869 lei

Preț vechi: 39837 lei
-20%

Puncte Express: 478

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: 9783540191292
ISBN-10: 3540191291
Pagini: 232
Ilustrații: VIII, 224 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1988
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Rum an intensional theory of function and control abstractions.- Typechecking dependent types and subtypes.- Reducing recursion to iteration by means of pairs and N-tuples.- Unification revisited.- Rule rewriting methods for efficient implementations of horn logic.- PAP: a logic programming system based on a constructive logic.- A completeness result for E-unification algorithms based on conditional narrowing.- Representing domain structure of many-sorted Prolog knowledge bases.- Horn: An inference engine prototype to implement intelligent systems.- Hints for the design of a set calculus oriented to Automated Deduction.