Tudor Jebelean, Florina Piroi,
"Interactive Proving in Theorema."
, 4-2002, F. Piroi, T. Jebelean
Interactive Proving in Theorema.
Toby Walsh, editor, in Collected Abstracts. Ninth Workshop on
Automated Reasoning, AISB'02. 3-5 April, 2002, Imperial College of Science,
Technology and Medicine, University of London. England
Original Titel:
Interactive Proving in Theorema.
Sprache des Titels:
Englisch
Erscheinungsmonat:
4
Erscheinungsjahr:
2002
Notiz zum Zitat:
F. Piroi, T. Jebelean
Interactive Proving in Theorema.
Toby Walsh, editor, in Collected Abstracts. Ninth Workshop on
Automated Reasoning, AISB'02. 3-5 April, 2002, Imperial College of Science,
Technology and Medicine, University of London. England