Common Syntax of the DFG-Schwerpunktprogramm Deduktion - Version 1.2 (1996)

by Reiner Hähnle , Fakultat Fur Informatik , Manfred Kerber , Christoph Weidenbach , Im Stadtwald
Venue:HLS + 96] Dieter Hutter, Bruno Langenstein, Claus Sengler, Jorg
Citations:17 - 1 self