Result 1 to 10 of 10 total
Scheme-based synthesis of inductive theories. (English)
Sidorov, Grigori (ed.) et al., Advances in artificial intelligence. 9th Mexican international conference on artificial intelligence, MICAI 2010, Pachuca, Mexico, November 8‒13, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16760-7/pbk). Lecture Notes in Computer Science 6437. Lecture Notes in Artificial Intelligence, 348-361 (2010).
1
Scheme-based synthesis of inductive theories (English)
MICAI (1), 348-361 (2010).
2
Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English)
Commentat. Math. Univ. Carol. 49, No. 2, 319-339 (2008).
3
Automatic construction and verification of isotopy invariants. (English)
J. Autom. Reasoning 40, No. 2-3, 221-243 (2008).
4
Automatic construction and verification of isotopy invariants. (English)
Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17‒20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 36-51 (2006).
5
Ascertaining mathematical theorems. (English)
Electron. Notes Theor. Comput. Sci. 151, No. 1, 21-38 (2006).
6
Automatic construction and verification of isotopy invariants (English)
IJCAR, 36-51 (2006).
7
Mathsaid: A mathematical theorem discovery tool (English)
SYNASC, 17-22 (2006).
8
Automatic generation of classification theorems for finite algebras. (English)
Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4‒8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 400-414 (2004).
9
Automatic generation of classification theorems for finite algebras (English)
IJCAR, 400-414 (2004).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
