Open AccessSistema de Suporte Pedagógico para Resolução de Problemas de Construção de Tabelas-Verdade na Lógica Proposicional
Author(s) -
Alessandro Fontoura Alves,
Jo�ão Carlos Gluz
Publication year - 2015
Publication title -
anais ... workshops do congresso brasileiro de informática na educação
Language(s) - Portuguese
Resource type - Conference proceedings
ISSN - 2316-8889
DOI - 10.5753/cbie.wcbie.2015.1434
Subject(s) - propositional calculus , computer science , resolution (logic) , logical reasoning , interface (matter) , truth table , artificial intelligence , human–computer interaction , programming language , algorithm , bubble , maximum bubble pressure method , parallel computing
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom