"Méthodes formelles (Informatique)" . . "Intelligent agents (Computer software)" . . "Mathematical Logic and Foundations." . . "logica." . . "Automatisches Beweisverfahren Aufsatzsammlung." . . "programmation en logique." . . "Automatisches Beweisverfahren." . . "Automatisches Beweisverfahren" . "Logischer Schluss." . . "Logischer Schluss" . "Raisonnement (Informatique)" . . "Softwareentwicklung." . . "Softwareentwicklung" . "Démonstration automatique de théorèmes." . . "planification." . . "Agentes inteligentes (Informática) En línea." . . "système multi-agent." . . "Lògica matemàtica." . . "Logica matematica." . "Dimostrazione automatica di teoremi." . . "Raisonnement Automatisation." . . "déduction automatique." . . "Artificial Intelligence (incl. Robotics)" . . "Seguridad informática En línea." . . "Logique symbolique et mathématique." . . "Artificiële intelligentie. Robotica. Simulatie. Graphics." . . "Agentes inteligentes (Programas de ordenador) Libros electrónicos." . . "Logica simbolica." . . "Théorèmes Démonstration automatique." . . "Automatització." . . "Razonamiento basado en casos Libros electrónicos." . . "Mathematical Logic and Formal Languages." . . "Seguridad informática." . . "Computer. Informatica. Automatisering." . . "raisonnement automatique." . . "Software Engineering." . . "software engineering." . "Agentes inteligentes (Informática)" . . . . . . . . . . . . . . . . . . . . . . . . . . "Ressources Internet" . . "Electronic books"@en . "Electronic books" . . "Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday" . . . . . . . . . . "Aufsatzsammlung"@en . . "Aufsatzsammlung" . . . "Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday" . "Mechanizing Mathematical Reasoning" . "Llibres electrònics" . . . . . . . . . . . . . . . "Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday" . "Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday"@en . "Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday" . . "By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled \"A Portrait of a Scientist: Logics, AI, and Politics.\" The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning" . . . "By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled \"A Portrait of a Scientist: Logics, AI, and Politics.\" The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning."@en . . . . "Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday" . "Mélanges. Siekmann, Jörg H" . "Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday"@en . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Mechanizing Mathematical Reasoning Essays in Honor of J?rg H. Siekmann on the Occasion of His 60th Birthday"@en . "Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift]" . . . . . . "Computer Science." . . "Razonamiento automatizado." . . "Seguridad informática Libros electrónicos." . . "Intel·ligència artificial." . . "Deduzione - Automazione." . . "Formale Methode." . . "Formale Methode" . "Razonamiento automatizado En línea." . . "robots." . . "Logique mathématique." . . "Logischer Schluss Aufsatzsammlung." . . "Softwareentwicklung Formale Methode Aufsatzsammlung." . . "Mathematische logica." . . . . "wiskunde." . . "MATHEMATICS Logic." . . "méthode formelle." . . "Méthode formelle." . "Informatique." . . "MATHEMATICS Infinity." . . "Intelligent agents (Computer software) Online." . .