Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM091380
Első szerző:Aszalós László (matematikus)
Cím:Automated Puzzle Solving / László Aszalós
Dátum:2002
ISSN:1166-3081 1958-5780
Megjegyzések:Smullyan wrote his famous book of puzzles before the boom in automated theorem proving and he solved the puzzles by hand. Hence it is interesting to investigate whether all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Journal of Applied Non-Classical Logics. - 12 : 1 (2002), p. 99-116. -
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1