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.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642213496

Any de publicació: 2011

Volum: 6680 LNAI

Pàgines: 239-248

Tipus: Aportació congrés

DOI: 10.1007/978-3-642-21350-2_29 GOOGLE SCHOLAR
Font de les dades: Scopus