Teimuraz Kutsia,
"Theorem Proving with Sequence Variables and Flexible Arity Symbols"
: Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 9th International Conference LPAR'02, Serie Lecture Notes in Computer Science (LNCS), Vol. 2514, 10-2002, ISBN: 3-540-00010-0, ISSN: 0302-9743, 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. // Series ISSN: 0302-9743
Original Titel:
Theorem Proving with Sequence Variables and Flexible Arity Symbols
Sprache des Titels:
Englisch
Original Buchtitel:
Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 9th International Conference LPAR'02
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
2514
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. // Series ISSN: 0302-9743
Forschungs-