B. Konev, Tudor Jebelean,
"Combining level-saturation strategies and meta-variables for predicate logic proving in theorema"
: Proceedings of IMACS ACA 2000, 12-2000, B. Konev and T. Jebelean; in: IMACS ACA 2000, St. Petersburg, Russia, June 2000.
Original Titel:
Combining level-saturation strategies and meta-variables for predicate logic proving in theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of IMACS ACA 2000
Erscheinungsmonat:
12
Erscheinungsjahr:
2000
Notiz zum Zitat:
B. Konev and T. Jebelean; in: IMACS ACA 2000, St. Petersburg, Russia, June 2000.