Domino en ácido Una rara variante de colorido solitario de dominó que visualiza la deducción natural
Descargar ahora

Domino en ácido Clasificación y resumen

Domino en ácido Etiquetas

ácido dominó isométrico Motor isométrico Ácido dominó proposicional clásico

Domino en ácido Descripción

Una extraña variante de colorido solitario de dominó que visualiza la deducción natural. Domino On Accid Project es una extraña variante de colorido solitario de dominó que visualiza la deducción natural. En exceso, los dominós sobre ácido es una variante de solitario de los dominós con baldosas de colores extrañas (y esta visión es suficiente para jugar el juego). Pero en un nivel más profundo, es una GUI para deducción natural. Cada dominó completado es equivalente a una prueba de una tautología en la lógica proposicional clásica. El juego se puede jugar en línea como un applet o fuera de línea como una aplicación. Está construido en un motor isométrico simple que se puede usar independiente del juego. Requisitos: · Java 2 Edición estándar Medio de ejecución

Domino en ácido Software relacionado