Theorem proving through depth-first test
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 |