|
|
|
Item Details
Title:
|
LOGIC PROGRAMMING AND AUTOMATED REASONING
6TH INTERNATIONAL CONFERENCE, LPAR'99, TBILISI, GEORGIA, SEPTEMBER 6-10, 1999, PROCEEDINGS |
By: |
Harald Ganzinger (Editor), Andrei Voronkov (Editor), David P. McAllester (Editor) |
Format: |
Paperback |
List price:
|
£78.50 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540664920 |
ISBN 13: |
9783540664925 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
25 August, 1999 |
Series: |
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence v. 1705 |
Pages: |
404 |
Description: |
Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. |
Synopsis: |
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. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
|
|
|
|
Taylor Swift (Little People, Big Dreams)
Inspire kids with the glittering story of pop superstar Taylor Swift! This talented singer-songwriter started as a little country girl with a big dream to become a star.
|
|
|
|
|
|
|