Teimuraz Kutsia,
"Solving Equations Involving Sequence Variables and Sequence Functions"
, in Bruno Buchberger and John A.~Campbell: Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04, Serie Lecture Notes in Artificial Intelligence, Vol. 3249, Springer Verlag, Hagenberg, Austria, Seite(n) 157--170, 9-2004, ISBN: 3-540-23212-5
Original Titel:
Solving Equations Involving Sequence Variables and Sequence Functions
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04
Forschungs-