A logic teaching tool based on tableaux for verification and debugging of algorithms

  1. Del Vado Vírseda, R.
  2. Orna, E.P.
  3. Berbis, E.
  4. De León Guerrero, S.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642213496

Año de publicación: 2011

Volumen: 6680 LNAI

Páginas: 239-248

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-21350-2_29 GOOGLE SCHOLAR
Fuente de los datos: Scopus