Article
| Title: | Theorem proving through depth-first test (English) |
| Author: | Tuza, Zsolt |
| Language: | English |
| Journal: | Acta Universitatis Carolinae. Mathematica et Physica |
| ISSN: | 0001-7140 |
| Volume: | 33 |
| Issue: | 2 |
| Year: | 1992 |
| Pages: | 135-141 |
| . | |
| Category: | math |
| . | |
| MSC: | 05C15 |
| MSC: | 68Q25 |
| MSC: | 68R10 |
| MSC: | 68T15 |
| idZBL: | Zbl 0800.68841 |
| idMR: | MR1287235 |
| . | |
| Date available: | 2012-10-05T23:39:20Z |
| Last updated: | 2012-10-06 |
| Stable URL: | http://hdl.handle.net/10338.dmlcz/701986 |
| . |
Files
| Files | Size | Format | View |
|---|---|---|---|
| ActaCarolinae_033-1992-2_18.pdf | 380.4Kb | application/pdf |
View/ |
Search
Partner of
