Biblio

Export 831 results:
Sort by: Author Title Type [ Year  (Desc)]
2005
Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J. (2005).  Solving SAT with membrane creation. (S. Barry-Cooper, B. Lowe, L. Torenvliet, Ed.).Computability in Europe 2005 (CiE 2005): New Computational Paradigms . 82-91. .
Paun, G., & Ciobanu G. (2005).  TAPS'05 Workshop on Theory and Applications of Systems. TAP'S 05 Workshop on Theory and Applications of Systems.
2004