Seller: Ammareal, Morangis, France
Softcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2018. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2018. Ammareal gives back up to 15% of this item's net price to charity organizations.
Language: English
Published by LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: moluna, Greven, Germany
Condition: New.
Language: English
Published by LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Parallel Algorithms for Free and Associative-Commutative Unification | Gaetan J. D. R. Hains | Taschenbuch | 128 S. | Englisch | 2014 | LAP LAMBERT Academic Publishing | EAN 9783659639920 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 136.78
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New.
Condition: New.
Gebunden. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 198.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Language: English
Published by LAP LAMBERT Academic Publishing Nov 2014, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This 1990 work is written as a guide to the design of fast algorithms for free term matching, free unification and associative-commutative term matching. The goal of this research was to identify tractable unification problems, to evaluate existing methods for their solution and design new ones where appropriate. The emphasis is on speed, as measured by the worst-case complexity of algorithms. Only methods with direct relevance to practical use were chosen, and are presented in the wider context of unification theory. Few assumptions are made about the environment in which unification is to be used. Terms are represented as graphs, the most common data structure in use now. Results presented here should be useful in the implementation of fast symbolic manipulation systems and their application to scalable intelligent software. 128 pp. Englisch.
Language: English
Published by LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand.
Language: English
Published by LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Language: English
Published by LAP LAMBERT Academic Publishing Nov 2014, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This 1990 work is written as a guide to the design of fast algorithms for free term matching, free unification and associative-commutative term matching. The goal of this research was to identify tractable unification problems, to evaluate existing methods for their solution and design new ones where appropriate. The emphasis is on speed, as measured by the worst-case complexity of algorithms. Only methods with direct relevance to practical use were chosen, and are presented in the wider context of unification theory. Few assumptions are made about the environment in which unification is to be used. Terms are represented as graphs, the most common data structure in use now. Results presented here should be useful in the implementation of fast symbolic manipulation systems and their application to scalable intelligent software.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 128 pp. Englisch.
Language: English
Published by LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659639923 ISBN 13: 9783659639920
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This 1990 work is written as a guide to the design of fast algorithms for free term matching, free unification and associative-commutative term matching. The goal of this research was to identify tractable unification problems, to evaluate existing methods for their solution and design new ones where appropriate. The emphasis is on speed, as measured by the worst-case complexity of algorithms. Only methods with direct relevance to practical use were chosen, and are presented in the wider context of unification theory. Few assumptions are made about the environment in which unification is to be used. Terms are represented as graphs, the most common data structure in use now. Results presented here should be useful in the implementation of fast symbolic manipulation systems and their application to scalable intelligent software.