Tuza, Zsolt (1993) Theorem proving through depth-first test. ACTA UNIVERSITATIS CAROLINAE - MATHEMATICA ET PHYSICA, 33 (2). pp. 135-141.

Full text not available from this repository.

Item Type:	Article
Subjects:	Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions:	Systems and Control Lab
Depositing User:	Eszter Nagy
Date Deposited:	11 Dec 2012 14:44
Last Modified:	11 Dec 2012 14:44
URI:	https://eprints.sztaki.hu/id/eprint/368

Update Item