Publicado por Omniscriptum Mär 2026, 2026
ISBN 10: 6133215321 ISBN 13: 9786133215320
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 136,00
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 96 pp. Englisch.
Publicado por OmniScriptum, 2026
ISBN 10: 6133215321 ISBN 13: 9786133215320
Librería: preigu, Osnabrück, Alemania
EUR 109,85
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Publicado por Omniscriptum
ISBN 10: 6133215321 ISBN 13: 9786133215320
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 137,63
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
Publicado por Omniscriptum Mär 2026, 2026
ISBN 10: 6133215321 ISBN 13: 9786133215320
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 136,00
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.