( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.

, и . TPHOLs, том 2758 из Lecture Notes in Computer Science, стр. 136-154. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nikita Tregubov

Nikita Vladimirov

Nikita Tkatchenko

Nikita Mattar

Nikita Garnov

 

Другие публикации лиц с тем же именем

Expansion of the Kullback-Leibler Divergence, and a New Class of Information Metrics., , , и . Axioms, 6 (2): 8 (2017)A Context-Partitioned Stochastic Modeling System with Causally Informed Context Management and Model Induction., , , и . IICAI, стр. 2172-2191. IICAI, (2007)A New Approach to Model-Based Diagnosis Using Probabilistic Logic., , , и . FLAIRS, стр. 678-683. AAAI Press, (2008)Predictions and Diagnostics in Experimental Data Using Support Vector Regression., , , и . Int. J. Artif. Intell. Tools, 18 (1): 163-171 (2009)Application of Support Vector Regression to Interpolation of Sparse Shock Physics Data Sets, , , и . CoRR, (2006)Managing Dynamic Contexts Using Failure-Driven Stochastic Models., , и . FLAIRS, стр. 466-471. AAAI Press, (2007)Describing the complexity of systems: Multi-variable "set complexity" and hypergraphs, , , и . CoRR, (2013)A systems-biology approach to modular genetic complexity, , , , , и . Chaos: An Interdisciplinary Journal of Nonlinear Science, 20 (2): 026102+ (01.06.2010)Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions., и . TPHOLs, том 2758 из Lecture Notes in Computer Science, стр. 136-154. Springer, (2003)On Lattices and the Dualities of Information Measures., , и . CoRR, (2013)