In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 385--396 (2012)
| Authors | |
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Model Checking for Hybrid Logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
On EPR-Type Entanglement in the Experiments of Scully Et Al. II. Insight in the Real Random Delayed-Choice Erasure Experiment.F. Herbut - 2010 - Foundations of Physics 40 (3):301-312.
Model Checking Techniqes for the Analysis of Reactive Systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
On the Existence of a New Family of Diophantine Equations for Ω.Toby Ord - 2003 - Fundamenta Informaticae 56:273-284.
Timed Modal Logics for Real-Time Systems: Specification, Verification and Control.Patricia Bouyer, Franck Cassez & François Laroussinie - 2011 - Journal of Logic, Language and Information 20 (2):169-203.
Evolutionary Conservation and Ontogenetic Emergence of Neural Algorithms.Hermann Wagner & Dirk Kautz - 1998 - Behavioral and Brain Sciences 21 (2):285-286.
Adding One Random Real.Tomek Bartoszyński, Andrzej Rosłanowski & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (1):80-90.
Random Behavior and the as-If Defense of Rational Choice Theory in Demand Experiments.Ivan Moscati & Paola Tubaro - unknown
Evolutionary Algorithms and Their Applications-Multiobjective Design Optimization of Electrostatic Rotary Microactuators Using Evolutionary Algorithms.Paolo Di Barba & Slawomir Wiak - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 344-353.
Un rimedio esasperato dal male. Ovvero i due corpi di Valéry.Ciro Felice Papparo - 2012 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 5 (1).
Real-Time Model Checking on Secondary Storage.Stefan Edelkamp & Shahid Jabbar - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 67--83.
Review: S. I. Adan, The Algorithmic Unsolvability of the Problem of Checking Certain Properties of Groups; S. I. Adan, Finitely Generated Groups and Algorithms. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-54.
Algorithmic Randomness of Continuous Functions.George Barmpalias, Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):533-546.
Analytics
Added to PP index
2014-01-28
Total views
10 ( #903,376 of 2,519,631 )
Recent downloads (6 months)
2 ( #271,073 of 2,519,631 )
2014-01-28
Total views
10 ( #903,376 of 2,519,631 )
Recent downloads (6 months)
2 ( #271,073 of 2,519,631 )
How can I increase my downloads?
Downloads
