ProverX: Rewriting and Extending Prover9

Bibliografiske detaljer

Udgivet i:	PQDT - Global (2020)
Hovedforfatter:	Robert, Ivo
Udgivet:	ProQuest Dissertations & Theses
Fag:	User interface Software Mathematical problems Mathematics
Online adgang:	Citation/Abstract Full Text - PDF
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!