Dr. habil. Andreas Dolzmann|
The Reduce package REDLOG (REDuce LOGic) provides symbolic algorithms for first-order logic over different languages and theories.
REMIS (Redlog Example Management and Information System) is a WEB based system for searching in and accessing both examples and publications about REDLOG and relevant topics.
Software for the DBwV
I wrote all necessary and useful software for the total evaluation of Deutscher BundeswehrVerband. This includes
|(c) A. Dolzmann||Changed 2009-04-01||HTML 4.01 Tr.||Impressum|