BibSonomy publications for /author/Voronkov http://www.bibsonomy.org/author/Voronkov BibSonomy RSS Feed for /author/Voronkov The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/daks daks 2008-07-19T08:29:49+02:00 first-order reasoning
The design and implementation of VAMPIRE.
Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
to first-order reasoning by daks and 2 other people on 2008-07-19 08:29:49
]]> Functional-logic Graph Parser Combinators http://www.bibsonomy.org/bibtex/2c2316b6c7afa847f23c7e56d53275305/smazanek smazanek 2008-07-16T16:53:01+02:00 curry functional-logic+programming graph+parsing parser+combinators
Functional-logic Graph Parser Combinators
Steffen Mazanek and Mark Minas Proc. of the 19th International Conference on Rewriting Techniques and Applications 261-275 (2008)
to curry functional-logic+programming graph+parsing parser+combinators by smazanek on 2008-07-16 16:53:01
]]> Games, Probability and the Quantitative µ-Calculus qMµ. dblp http://www.bibsonomy.org/bibtex/2f6b58f9c95b0aa779625d9991fac46a2/dblp dblp 2008-07-09T00:00:00+02:00 dblp
Games, Probability and the Quantitative µ-Calculus qMµ.
Annabelle McIver and Carroll Morgan LPAR 292-310 (2002)
to dblp by dblp on 2008-07-09 00:00:00
]]> On Empirical Meaning of Randomness with Respect to a Real Parameter. dblp http://www.bibsonomy.org/bibtex/2175b2d7e5ee4baf294dbcdcdf2333d0b/dblp dblp 2008-05-14T00:00:00+02:00 dblp
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
]]> "Neuromathematics" - Open platform to accelerate complex applied math problems solutions using neural network algorithms. dblp http://www.bibsonomy.org/bibtex/2974377e6b53219b1f287b37cf9893094/dblp dblp 2008-04-21T00:00:00+02:00 dblp
"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
]]> The design and implementation of VAMPIRE. dblp http://www.bibsonomy.org/bibtex/27383ce7fb56c880f52243294ad01421d/thau thau 2008-02-20T02:46:28+01:00 first-order reasoning
The design and implementation of VAMPIRE.
Alexandre Riazanov and Andrei Voronkov AI Commun. 15 91-110 (2002)
to first-order reasoning by thau and 2 other people on 2008-02-20 02:46:28
]]> Knuth-Bendix constraint solving is NP-complete dblp http://www.bibsonomy.org/bibtex/2ea35b2f0f5a1d125b85b0ecac5c7429b/dblp dblp 2008-01-02T00:00:00+01:00 dblp
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
]]> The performance of the new 6-31G## basis set: Molecular structures and vibrational frequencies of transition metal carbonyls. dblp http://www.bibsonomy.org/bibtex/23b5c44b2b929bd8c60722d5cc4e1ec64/dblp dblp 2007-11-27T00:00:00+01:00 dblp
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
]]> Practical Reasoning for Expressive Description Logics http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/ramaz ramaz 2007-11-23T14:13:20+01:00 imported
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
]]> Practical Reasoning for Expressive Description Logics Practical Reasoning for EDL http://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/aljsanchez aljsanchez 2007-11-08T11:12:57+01:00 description logic
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
]]>