Foundations of Logic and Functional Programming
Editat de Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levien Limba Engleză Paperback – 27 apr 1988
Preț: 318.69 lei
Preț vechi: 398.37 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.31€ • 65.27$ • 49.11£
56.31€ • 65.27$ • 49.11£
Carte tipărită la comandă
Livrare economică 15-29 mai
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
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
V-ar putea interesa
-
Advances in Logic Programming TheoryGiorgio Levi-42%Preț: 727.18 lei1256.76 lei -
Head First HTML and CSSElisabeth Robson-20%Preț: 285.16 lei356.44 lei -
KanbanDavid J. Anderson-20%Preț: 249.74 lei312.18 lei -
Preț: 285.99 lei -
Professional GitBrent Laster-20%Preț: 248.18 lei310.23 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
Android CookbookIan F Darwin-20%Preț: 412.71 lei515.88 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 351.60 lei439.50 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 326.61 lei408.26 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
Self-Aware Computing SystemsSamuel Kounev-20%Preț: 1140.31 lei1425.40 lei -
-20%Preț: 297.60 lei372.01 lei -
-20%Preț: 295.37 lei369.21 lei -
Verification, Model Checking, and Abstract InterpretationBernhard Steffen-20%Preț: 324.41 lei405.51 lei -
Algebraic and Logic ProgrammingGiorgio Levi-20%Preț: 323.39 lei404.23 lei -
Static AnalysisGiorgio Levi-20%Preț: 327.48 lei409.36 lei -
Domain Engineering: Product Lines, Languages, and Conceptual ModelsIris Reinhartz-Berger-20%Preț: 325.79 lei407.24 lei
Public țintă
ResearchCuprins
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.