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.
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642213496

Année de publication: 2011

Volumen: 6680 LNAI

Pages: 239-248

Type: Communication dans un congrès

DOI: 10.1007/978-3-642-21350-2_29 GOOGLE SCHOLAR
La source de données: Scopus