Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic Programming

Name: Logic Programming
Brand: Cambridge University Press
SKU: 02037273
Price: 20612 HUF
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

140 b

20 612 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

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

Paperback

7 190 Ft

Manuale di architettura d'interni Riccardo Salvi

Paperback

10 521 Ft

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

Hardback

11 414 Ft

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

Toy

1 703 Ft

MOUNT ZION HEAD

Audio CD

5 927 Ft

Personnages secondaires Alejandro Zambra

Paperback

7 953 Ft

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

Diary

3 845 Ft

Krankenpflege Im Hause Und Im Hospitale Theodor Billroth

Paperback

12 131 Ft

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

Paperback

1 129 Ft

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

Hardback

6 237 Ft

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.