Tetsuo Ida, Mircea Marin, Norio Kobayashi,
"A Web Oriented System for Equational Solving"
, in In German Vidal: Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP03, Seite(n) 309-312, 6-2003, Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP03, Valencia, Spain (Available as technical report DSIC-II/13-03 of the Universidad Politecnica de Valencia)
Original Titel:
A Web Oriented System for Equational Solving
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP03
Seitenreferenz:
309-312
Erscheinungsmonat:
6
Erscheinungsjahr:
2003
Notiz zum Zitat:
Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP03, Valencia, Spain (Available as technical report DSIC-II/13-03 of the Universidad Politecnica de Valencia)
Forschungs-