"Programació lògica Congressos." . . "LPAR '99 (1999 : Tbilissi, République de Géorgie)" . . . "Programming Techniques." . . "Programming Techniques" . "International Conference on Logic Programming and Automated Reasoning (6 : 1999 : Tbilisi)" . . . "International Conference, LPAR '99 (6th : 1999 : Tbilisi, Georgia)" . . . "complexité" . . "LPAR (6th : 1999 : Tbilisi, Georgia)" . . . "LPAR 6th : 1999 : Tbilisi, Georgia." . "LPAR (6th : 1999 : Tʻbilisi, Georgia)" . "International Conference on Logic for programming and Automated Reasoning (6. 1999. Tiflis, Georgia)" . . . "Programmation logique." . . "logique linéaire." . . "LPAR (6 : 1999 : T'bilisi)" . . . "Artificial Intelligence (incl. Robotics)" . . "Programación lógica Congresos En línea." . . "apprentissage automatique raisonnement [congrès]" . . "LPAR (Conference) (6th : 1999 : Tʻbilisi, Georgia)" . . . "LPAR '99 (6 1999.09.06-10 Tbilisi)" . . . "Automatic theorem proving Congresses." . . "Automatisches Beweisverfahren." . . "Automatisches Beweisverfahren" . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" . . . . "Logic for programming and automated reasoning : 6th international conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . "Logic for programming and automated reasoning : 6th International Conference, LPAR'99 : Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . . . "Logic for Programming and Automated Reasoning 6th International Conference, LPAR'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings" . . . . . "Livre électronique (Descripteur de forme)" . . "Logic for programming and automated reasoning : 6th international conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . . . . . . "Logic for programming and automated reasoning : 6th international conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings" . . . "LPAR'99" . "LPAR'99"@en . . . . . . . "Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings" . . . . . . . . . . . "Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings" . . . . . . "Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings"@en . "Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . . . . . . . . . . . "Logic for programming and automated reasoning 6th international conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings" . . . . . . . "Electronic books"@en . . . . . . . . . . "Logic for programming and automated reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . "Logic for programming and automated reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings"@en . . . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . "Kongress" . . . . . . "Logic for programming and automated reasoning; 6th International Conference, LPAR '99, Tbilisi, Georgia, September 1999 : proceedings"@en . . "Logic for programming and automated reasoning : 6th international conference : proceedings" . "Tiflis (1999)" . "Ressource Internet (Descripteur de forme)" . . . . "Logic programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . . . . "Logic for Programming and Automated Reasoning" . . . . . . . . . . "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." . "Logic for programming and automated reasoning 6th international conference : proceedings" . . "Conference proceedings"@en . . "Logic for programming and automated reasoning : 6th international conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 proceedings" . "Conference proceedings" . "LPAR '99" . "LPAR '99"@en . . "Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings" . . . . "This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, LPAR'99, held in Tbilisi, Georgia in September 1999. The 23 revised full papers presented were carefully reviewed and selected from 44 submissions. Among the topics addressed are logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, partial evalutation, etc."@en . . "Intel·ligència artificial Congressos." . . "Computer Science." . . "Computer science." . "Mathematical Logic and Formal Languages." . . "Mathematical Logic and Formal Languages" . "raisonnement automatique." . . "Ebooks -- UML." . . "Teoremas Demostración automática Congresos." . . "International Conference on Logic for Programming and Automated Reasoning." . . . "Programmation logique Congrès." . . "Programmation logique - Congrès." . "Artificial intelligence." . . "LPAR '99 (1999 : Tʻbilisi, Georgia)" . . . "MyiLibrary (Service en ligne)" . . "International Conference on Logic Programming and Automated Reasoning (6a : 1999 : Tbilisi, Georgia)" . . . "réécriture." . . "Démonstration automatique de théorèmes." . . "Logisch programmeren." . . "Programación lógica Congresos." . . "International Conference on Logic Programming and Automated Reasoning (6 : 1999 : Tbilissi)" . . . "Théorèmes Démonstration automatique Congrès Congrès." . . "Logische Programmierung." . . "Logische Programmierung" . "Teoremas Demostración automática Congresos En línea." . . . . "Kongress." . . "LPAR '99 (6e : 1999 : Tbilisi, Géorgie)" . . . "Automatic theorem proving." . . "Théorèmes Démonstration automatique Congrès." . . "Théorèmes - Démonstration automatique - Congrès." . "informatique logique [congrès]" . . "LPAR" . . "International Conference on Logic Programming and Automated Reasoning (6 1999.09.06-10 Tbilisi)" . . . "Logic programming Congresses." . . "Programmierlogik." . . "Programmierlogik" . "raisonnement." . . "programmation en logique." . . "Automatische bewijsvoering." . . "LPAR (Conference) (1999 : Tʻbilisi, Georgia)" . . . "Logic design." . . "Logic programming." . . "Raisonnement (Informatique)" . .