Band 1705
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Englisch ausgewählt
-
Auflage:1999
- 1993 Fr. 72.90
- 1992 Fr. 72.90
- 2000 Fr. 72.90
- 1999 Fr. 72.90 ausgewählt
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
25.08.1999
Abbildungen
XII, 404 p.
Herausgeber
Harald Ganzinger + weitereVerlag
Springer BerlinSeitenzahl
404
Maße (L/B/H)
23.5/15.5/2.3 cm
Gewicht
628 g
Auflage
1999
Sprache
Englisch
ISBN
978-3-540-66492-5
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.