1
Publicat 2007
Taula de continguts: ... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...
Obtenir text complet
Electrònic eBook
3
Publicat 2008
Taula de continguts: ... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Obtenir text complet
Electrònic eBook
7
Publicat 2013
Taula de continguts: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
Obtenir text complet
Electrònic eBook