1. Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. (2015) Editors: Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya Other Names: Conference on Computability in Europe, 11th Record Type: Book Extent: 1 online resource (xv, 363 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning. (23rd July 2018) Authors: Beckmann, Arnold; Preining, Norbert Journal: Journal of logic and computation Issue: Volume 28:Number 6(2018) Page Start: 1125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0. (April 2022) Authors: Cao, Qiushi; Zanni-Merk, Cecilia; Samet, Ahmed; Reich, Christoph; Beuvron, François de Bertrand de; Beckmann, Arnold; Giannetti, Cinzia Journal: Robotics and computer-integrated manufacturing Issue: Volume 74(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings /: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings. (2016) Editors: Beckmann, Arnold; Bienvenu, Laurent; Jonoska, Nataša, 1961- Other Names: Conference on Computability in Europe, 12th Record Type: Book Extent: 1 online resource (xvi, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗