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)

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