"International conference on logic for programming, artificial intelligence, and reasoning (9. : Tbilisi, Georgia : 2002)" . . . "Logic programming." . . "LPAR 2002 (2002 : Tʻbilisi, Georgia)" . . . "LPAR (9 : 2002 : T'bilisi)" . . . "Automatisches Beweisverfahren." . . "Logic for Programming, Artificial Intelligence, and Reasoning (9 k 2002 : Tbilisi)" . . . "formalisation raisonnement." . . "raisonnement automatique." . . "Programmation logique Congrès." . . "Programmation logique - Congrès." . "Inteligencia artificial Congresos." . . "LPAR 2002 (9ª. 2002. T`bilisi, Georgia)" . . . "Artificial intelligence." . . "logique mathématique." . . "abstraction." . . "LPAR (Conference) (9th : 2002 : Tʻbilisi, Georgia)" . . . "Kongress." . . "LPAR 2002 (2002 : Tbilisi, Géorgie)" . . . "LPAR" . . . "démonstration théorème." . . "Intelligence artificielle." . . "Automatic theorem proving." . . "logique non monotone." . . . . "Inteligencia artificial Congresos En línea." . . "Programmierlogik." . . "Intelligence artificielle Congrès." . . "Intelligence artificielle - Congrès." . . . . . . . . . "9th International Conference, LPAR 2002"@en . . . . . "Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14-18, 2002 Proceedings" . "International Conferenece on Logic for Programming, Artificial Intelligence, and Reasoning" . . . . . . . . . . . . . . "This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc." . "This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc."@en . . . . . . . . "Tiflis (2002)" . "Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings"@en . . . . . . . . . . . . . . . . . . "Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings" . . . . . . . "Kongress" . . . . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . "Online resources"@en . . "LPAR 2002"@en . . "LPAR 2002" . . . "Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002 : Tbilisi,Georgia, October 14-18, 2002 : proceedings" . "Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings" . . . . . "Electronic books"@en . "Electronic books" . . "déduction automatique." . . "vérification formelle." . . "LPAR (9th : 2002 : Tʻbilisi, Georgia)" . . . "Programmation logique." . . "Logische Programmierung." . . "analyse programme." . . "Démonstration automatique de théorèmes." . . "programmation en logique." . . "LPAR 2002 (9th : 2002)." . . . "Théorèmes Démonstration automatique Congrès." . . "Théorèmes - Démonstration automatique - Congrès." .