Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Logic Programming

Name: Logic Programming
Brand: Cambridge University Press
SKU: 02037273
Price: 55.89 EUR
Availability: InStock
Author: Andrews
ISBN: 9780521607544

Operational Semantics and Proof Theory

Andrews

James H. (Simon Fraser University

British Columbia)

Language

English

Book Paperback

Libristo code: 02037273

Publishers Cambridge University Press, August 2004

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both... Full description

Libristo code: 02037273

137 b

55.89 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

El cuerpo de maquinistas de la Armada Española (1850-1950) Vega

Paperback

20.89 €

Manuale di architettura d'interni Riccardo Salvi

Paperback

30.59 €

Проектирование технологической оснастки. Учебное пособие для СПО, 2-е изд., стер. В.Ю. Блюменштейн

Hardback

33.59 €

Räucherstäbchen Auroshikha "Palo Santo" 10g Game/Toy

Toy

4.89 €

MOUNT ZION HEAD

Audio CD

17.19 €

Personnages secondaires Alejandro Zambra

Paperback

23.09 €

Le carnet d'Emile - Blanc, 96p, A5 - Têtes de mort

Diary

11.19 €

Krankenpflege Im Hause Und Im Hospitale Theodor Billroth

Paperback

34.90 €

Finanční gramotnost pro druhý stupeň základní školy Petr Jakeš

Paperback

3.29 €

Čarodějův učeň Otfried Preussler

Hardback

18.29 €

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.