1
Pubblicazione 2008
Sommario: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Testo
Elettronico eBook
3
Pubblicazione 2007
Sommario: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...
Testo
Elettronico eBook
6
Sommario: ... Equations -- Mathematical Tools -- Other Stochastic Methods and Prism -- Simulating Biochemical Systems....
Testo
Elettronico eBook
7
Pubblicazione 2005
Sommario: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
Testo
Elettronico eBook
8
Pubblicazione 2015
Sommario: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
Testo
Elettronico eBook