Bruno Buchberger, Teimuraz Kutsia,
"Predicate Logic with Sequence Variables and Sequence Function Symbols"
, in Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec: Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04, Serie Lecture Notes in Computer Science, Vol. 3119, Springer Verlag, Bialowieza, Poland, Seite(n) 205--219, 9-2004, ISBN: 3-540-23029-7
Original Titel:
Predicate Logic with Sequence Variables and Sequence Function Symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04
Forschungs-