| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Algorithmic Structural Completeness and a Retrieval System for Proving Theorems in Algorithmic Theories | 978-83-226-1O23-7 (83-226-1O23-8) | 2000 |
A. B. · Anders Biel · András Balla · András Blahó · Andre Beaulieu · ANDRE BELLEY · André Bely · Andre Blau · Andre Blay · Andrea Belli · Andrea Billi · Andrea Blau · Andrea Böhle · Andrea Boelli · Andrea Boll · Andrea Bulla · Andreas Bahl · Andreas Ball · Andreas Bell · Andreas Belwe · Andreas Bley · Andreas Böhle · Andreas Boll · Andreas Buhl · Andreas Bull · Andrei Bely · Andrei Belyi · Andréi Biély · Andrej Bely · Andrés Bello · Andres Blei · Andrew Bailey · Andrew Ball · Andrew Bell · Andrew Biel · Andrew Billo · Andrew Boal · Andrew Boyle · Andrey Bely · Andrey Belyy · Andrzej BieĹ · Annedore Bell