VincenzoArceri/AutomatedReasoningProject
Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)
Implementazione in Java dell'automa cellulare "Game of Life", sviluppato nel 1970 da John Conway.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)
Secondo assegnamento Ingegneria del Software - Anno accademico 2013/2014 - Dipartimento di Informatica - Verona
Primo elaborato di Ingegneria del Software - Dipartimento d'informatica - Anno accademico 2013/2014