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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Parallelism in Logic

Name: Parallelism in Logic
Brand: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
SKU: 06802523
Price: 53.1 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.10 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

13.65 €

Horloge Astronomique De Prague neuvedený autor

Paperback

9.70 €

Stiftungen ALS Instrument Der Unternehmensnachfolge Tanja Verena Horvath

Paperback

74.24 €

Segredos do Conclave Gerson Camarotti

Paperback

31.45 €

Ciemne iskry Krzysztof Maliszewski

Paperback

15.97 €

Non mi hanno voluta! Le apparizioni di Ghiaie di Bonate Alberto Lombardoni

Book

18.00 €

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

Paperback

35.70 €

Noci: Eksperimentalni Putopis Unutrasnjom Stranom Trougla Velibor Stancic

Paperback

28.31 €

Des défis contemporains de l'action stratégique IRSEM

Book

18.40 €

Mr. Men Little Miss Hospital ADAM HARGREAVES

Audio CD

6.26 €

Lecciones de Alcoba Melanie Rogers

Paperback

8.59 €

Envejecimiento de Mezcla Asfaltica En Condiciones Ambientales Reales Hugo Alexander Rondón Quintana

Paperback

34.89 €

Ninos de la Niebla Cheryl Kaye Tardif

Paperback

17.49 €

Savoirs Traditionnels Et Environnement Au S n gal Ibrahima Diop Gaye

Paperback

100.44 €

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.