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 point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 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: 21547 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

144 b

21 547 Ft

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

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

Hardback

11 637 Ft

Welch grausame Gnade Chloe Gong

Hardback

7 054 Ft

La metamorfosi del comunisme a la Xina XULIO RIOS

Paperback

7 365 Ft

MOUNT ZION HEAD

Audio CD

5 603 Ft

Buscando a Ala encontrando a Jesus Nabeel Qureshi

Adobe ePub DRM

3 198 Ft

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

Toy

1 757 Ft

Alimentation & santé au quotidien : les idées fausses Philippe Mathelet

Adobe ePub DRM

2 153 Ft

Albert Savarus Honore De Balzac

Paperback

4 485 Ft

Stregoneria per ragazze ribelli Grady Hendrix

Paperback

10 024 Ft

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

Paperback

7 262 Ft

Personnages secondaires Alejandro Zambra

Paperback

7 662 Ft

Bescherelle Claude Kannas

Paperback

3 287 Ft

Désaxé Kepler

Paperback

10 296 Ft

Dans l'ombre de la ville James Conan

Paperback

9 534 Ft

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

Diary

3 435 Ft

Reise zur Deutschen Front Ludwig Ganghofer

Paperback

3 272 Ft

8 DIÁLOGOS SOBRE "DEMOCRACIAS VIOLENTADAS" BELEN BARREIRO

Hardback

8 623 Ft

Nachhaltige OEkonomie Carsten Müller

Paperback

14 865 Ft

Krankenpflege Im Hause Und Im Hospitale Theodor Billroth

Paperback

12 340 Ft

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

Paperback

1 262 Ft

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

Hardback

6 351 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.