Martin Kronenburg (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Jörg Denzinger, Martin Kronenburg, Stephan Schulz: DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reasoning 18(2): 189-198 (1997)
1		Jörg Denzinger, Martin Kronenburg: Planning for Distributed Theorem Proving: The Teamwork Approach. KI 1996: 43-56

Selection of 2 from 6 records - Martin Kronenburg has 9 coauthors