Logic Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540664925
Price: 52.78 EUR
Availability: InStock

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Автор: Harald Ganzinger, David McAllester, Andrei Voronkov

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.78 € 103.24 лв

This volume contains the papers presented at the Sixth International Conference on Logic for Program...

Информация за книгата

Автор

Harald Ganzinger, David McAllester, Andrei Voronkov

Език

Английски език

Корици

Книга - С меки корици

Издадена

1999

страници

404

EAN

9783540664925

ISBN

3540664920

Enbook ID

05275014

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

1280

Размери

155 x 235 x 23

Пълно описание

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Polynomials

Drama Translation and Theatre Practice

Limbic

The Physician's Challenge: A Chance for Redemption: Contributions of Men Behind Bars and Discovery Is Our Business

100 Things to Know About Art

Rise and Fall of the Danish Empire

A Collection of Stories for 3 Year Olds

Federal Prison Camp, Only the strong Can survive

Hillsborough

Arsene Who?

Nizamuddin

The Strawberry Patch Pancake House

After the nuclear accident

Rather Something - On nothing in King Lear

Клиенти, които купиха тази книга, купиха също

Pakiet: The Witch of the Forest. Magia naturalna, Magia ziemi, Magia astrologii

Samotność Anioła Zagłady. Adam

Einsamkeit überwinden

Der Mann, der Bäume pflanzte

Falcon

Actes de la Revolution: Resistance: Louis Blanc Et Pierre LeRoux Precede de

TECHNOLOGIE III. PRO UČEBNÍ OBORY SOU LAKÝRNÍK, MALÍŘ

Lektüreschlüssel Thomas Mann 'Die Buddenbrooks'