Olga Caprotti,
"Symbolic Pattern Solving for Equational Reasoning"
: FTP97 Int. Workshop on "First order Theorem Proving", Hagenberg, 10-1997, FTP97 Int. Workshop on "First order Theorem Proving", Hagenberg, Ocotber 1997
Original Titel:
Symbolic Pattern Solving for Equational Reasoning
Sprache des Titels:
Englisch
Original Buchtitel:
FTP97 Int. Workshop on "First order Theorem Proving", Hagenberg
Erscheinungsmonat:
10
Erscheinungsjahr:
1997
Notiz zum Zitat:
FTP97 Int. Workshop on "First order Theorem Proving", Hagenberg, Ocotber 1997