Biblio

Export 117 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Title is S  [Clear All Filters]
2000
2002
2003
2004
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. .
2006

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (380)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (269)
  • Conference Proceedings (37)