"Théorèmes Démonstration automatique." . . "Automates." . . "Aufsatzsammlung." . . "AUTOMATH (Formal language)" . . "Wiskunde." . . "Langage formel." . . "MATHEMATICS Infinity." . . "Automath." . . "AUTOMATH." . "Automatisches Beweisverfahren." . . "Preuve, Théorie de la." . . "Autòmats (Matemàtica)" . . "Logique symbolique et mathématique." . . . . . . . . . "Selected papers on Automath"@en . . "The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations."@en . "The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations." . "Selected papers on Automath" . . . . . "Llibres electrònics" . . . . . . . . "Selected papers on automath" . . . . . . . . . . . . . . . . . . . . . . . . . . . "Electronic books"@en . "Electronic books" . . . . . "Aufsatzsammlung" . . . . . . . . . . . "This volume contains a choice of literature on Automath. The editors aim to present a representative selection of articles and reports and of material contained in dissertations, providing an overview of the work that has been done in the Automath research field."@en . "Selected Papers on Automath"@en . "Selected Papers on Automath" . . . . . "Mathématique." . . "Combinatorische logica." . . "Automat (Automatentheorie)" . . "AUTOMATH (langage formel)" . . "AUTOMATH (Langage formel)" . "Lógica simbólica y matemática Colecciones." . . "Lògica matemàtica" . . "Automath (Lenguaje formal)" . . "Formale Sprache." . . "Beweisführung." . . "Matematika Matematična logika." . . . . "Automates mathématiques, Théorie des." . . "Taal." . . "MATHEMATICS Logic." . . "Logica." . . "lambda calcul." . . "Lambda-calcul." .