Teimuraz Kutsia,
"Theorem Proving with Sequence Variables and Flexible Arity Symbols"
, 10-2002, ISBN: 3-540-00010-0/03029743, T. Kutsia. Theorem Proving with Sequence Variables and Felxible Arity Symbols.
In: M. Baaz and A. Voronkov, editors, Logic in Programming,
Artificial Intelligence and Reasoning. Proceedings of the
9th International Conference LPAR'02, October 14-18, 2002,
Tbilsi, Georgia. Volume 2514 of Lecture Notes in Artificial
Intelligence, Springer Verlag, 2002, 278-291.
Original Titel:
Theorem Proving with Sequence Variables and Flexible Arity Symbols
Sprache des Titels:
Englisch
Erscheinungsmonat:
10
Erscheinungsjahr:
2002
Notiz zum Zitat:
T. Kutsia. Theorem Proving with Sequence Variables and Felxible Arity Symbols.
In: M. Baaz and A. Voronkov, editors, Logic in Programming,
Artificial Intelligence and Reasoning. Proceedings of the
9th International Conference LPAR'02, October 14-18, 2002,
Tbilsi, Georgia. Volume 2514 of Lecture Notes in Artificial
Intelligence, Springer Verlag, 2002, 278-291.
Forschungs-