Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Parallelism in Logic

Name: Parallelism in Logic
Brand: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
SKU: 06802523
Price: 53.16 EUR
Availability: InStock
Author: Franz Kurfeß
ISBN: 9783528051631

Its Potential for Performance and Program Development

Franz Kurfeß

Language

English

Book Paperback

Libristo code: 06802523

Publishers Friedrich Vieweg & Sohn Verlagsgesellschaft mbH, January 1992

The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism... Full description

Libristo code: 06802523

128 b

53.16 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Savoirs Traditionnels Et Environnement Au S n gal Ibrahima Diop Gaye

Paperback

100.56 €

Lecciones de Alcoba Melanie Rogers

Paperback

8.60 €

Ninos de la Niebla Cheryl Kaye Tardif

Paperback

17.51 €

Mr. Men Little Miss Hospital ADAM HARGREAVES

Audio CD

6.27 €

Les 100 - tome 1 - Prix découverte - Tirage limité Morgan Kass

Paperback

13.56 €

личиночная активность м& Мариа Гиул Фелизардо

Paperback

35.74 €

Segredos do Conclave Gerson Camarotti

Paperback

31.49 €

Ciemne iskry Krzysztof Maliszewski

Paperback

15.99 €

Noci: Eksperimentalni Putopis Unutrasnjom Stranom Trougla Velibor Stancic

Paperback

28.35 €

The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures. A variety of categories of parallelism is discussed with respect to different levels of a logical formula and different ways to evaluate it. As an outcome of these investigations it is shown that modularity allows s tructuring of logic programs and meta-evaluation can be used to c ontrol the evaluation process on a parallel system. This combinat ion yields a consistent programming framework with a wide scope. Finally, the suitability of a specific evaluation mechanism for p arallel architectures is investigated.