ANITA: Analytic Tableau Proof Assistant

Saved in:

Bibliographic Details
Main Author:	Vasconcelos, Davi Romero
Format:	Conference Proceeding
Language:	English
Citations:	Items that this one cites Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!