VincenzoArceri/AutomatedReasoningProject
Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)
Developer Profile
VincenzoArceri
Discovered public repositories for VincenzoArceri in the GitHub catalog.
VincenzoArceri/AutomotiveSystem
Secondo assegnamento Ingegneria del Software - Anno accademico 2013/2014 - Dipartimento di Informatica - Verona
VincenzoArceri/Car-Parking-System
Primo elaborato di Ingegneria del Software - Dipartimento d'informatica - Anno accademico 2013/2014
VincenzoArceri/TheGameOfLife
Implementazione in Java dell'automa cellulare "Game of Life", sviluppato nel 1970 da John Conway.