JKU Linz  
 
 


Publikationsdetails

Zitat: Daniela Dupre, Mircea Marin, Eleana Tomuta, "Handling Provers Cooperation in Theorema" , 10-1998,
In Proceedings of the 2nd International Theorema Workshop, RISC report 98-10
Original Titel: Handling Provers Cooperation in Theorema
Sprache des Titels: Englisch
Erscheinungsmonat: 10
Erscheinungsjahr: 1998
Notiz zum Zitat: In Proceedings of the 2nd International Theorema Workshop, RISC report 98-10
Publikationstyp: Anderer Forschungsbericht / Technischer Bericht
Autoren: Daniela Dupre, Mircea Marin, Eleana Tomuta
Forschungseinheiten: Institut für Symbolisches Rechnen
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum