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