BibSonomy :: author  ::

bookmarks

publications

(762)

• On Empirical Meaning of Randomness with Respect to a Real Parameter.
  Vladimir V. V'yugin CSR 387-396 (2007)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• "Neuromathematics" - Open platform to accelerate complex applied math problems solutions using neural network algorithms.
  Pavel V. Skribtsov and Pavel A. Kazantsev and Svetlana V. Korobkova and Dmitry V. Pantiukhin and Ilia M. Voronkov and Alexander I. Galushkin and Georgiy P. Ostapenko and Artem M. Lodyagin IJCNN 1157-1161 (2007)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• The design and implementation of VAMPIRE.
  Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
  to first-order reasoning by thau and 1 other person on 2008-02-20 02:46:28
  | URL | BibTeX  
• Knuth-Bendix constraint solving is NP-complete
  Konstantin Korovin and Andrei Voronkov CoRR cs.LO/0207068 (2002)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• The performance of the new 6-31G## basis set: Molecular structures and vibrational frequencies of transition metal carbonyls.
  Vladimir I. Bolshakov and Vladimir V. Rossikhin and Eugene O. Voronkov and Sergiy I. Okovytyy and Jerzy Leszczynski Journal of Computational Chemistry 28 778-782 (2007)
  to dblp by dblp on 2007-11-27 00:00:00
  | URL | BibTeX  
• Practical Reasoning for Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) 161--180 (1999)
  to imported by ramaz and 3 other people on 2007-11-23 14:13:20
  | BibTeX  
• Practical Reasoning for Expressive Description Logics
  Ian Horrocks and Ulrike Sattler and Stephan Tobies Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) 161--180 (1999)
  to description logic by aljsanchez and 3 other people on 2007-11-08 11:12:57
  | URL | BibTeX  
• Matching in Hybrid Terminologies.
  Sebastian Brandt LPAR 166-180 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
  Francien Dechesne and Mohammad Reza Mousavi and Simona Orzan LPAR 226-241 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• From Hilbert's Program to a Logic Toolbox.
  Johann A. Makowsky LPAR 1 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX