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

Ano de publicación: 2011

Volume: 6680 LNAI

Páxinas: 239-248

Tipo: Achega congreso

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