Edité par Omniscriptum Mär 2026, 2026
ISBN 10 : 6133215321 ISBN 13 : 9786133215320
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 136
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch.
Edité par OmniScriptum, 2026
ISBN 10 : 6133215321 ISBN 13 : 9786133215320
Vendeur : preigu, Osnabrück, Allemagne
EUR 109,85
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Algebraic Logic Functional Programming Language | Programming Language, Alice (programming language), Alma-0 | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133215320 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
Edité par Omniscriptum
ISBN 10 : 6133215321 ISBN 13 : 9786133215320
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 137,63
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
Edité par Omniscriptum Mär 2026, 2026
ISBN 10 : 6133215321 ISBN 13 : 9786133215320
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 136
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Algebraic LogicFunctional programming language also known as ALF is a programminglanguage which combines functional and logic programming techniques. Itsfoundation is Horn clause logic with equality which consists ofpredicates and Horn clauses for logic programming, and functions andequations for functional programming. ALF was designed to be genuineintegration of both programming paradigms, and thus any functionalexpression can be used in a goal literal and arbitrary predicates canoccur in conditions of equations. ALF's operational semantics is basedon the resolution rule to solve literals and narrowing to evaluatefunctional expressions. In order to reduce the number of possiblenarrowing steps, a leftmost-innermost basic narrowing strategy is usedwhich, it is claimed, can be efficiently implemented.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 96 pp. Englisch.