[FOM] About automated theorem proving Gerhard Gentzen-style without using prenex form for formulas

dorin alex alex_dorin at rambler.ru
Sat Mar 3 10:57:15 EST 2012


Lord!

   What are the program for automated theorem proving
Gerhard Gentzen-style without using prenex form for formulas ?

With respect
Alexander A. Dorin
e-mail  alex_dorin at rambler.ru
skype  alexander_a_dorin


More information about the FOM mailing list