Format:
Online-Ressource
Note:
Dresden, Technische Universität Dresden, Diss., 2012
Additional Edition:
Druckausg. Haufe, Sebastian, 1982- Automated theorem proving for general game playing
Language:
English
Subjects:
Computer Science
Keywords:
Hochschulschrift
URN:
urn:nbn:de:bsz:14-qucosa-89998
URL:
https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-89998
URL:
https://d-nb.info/1067732276/34
Bookmarklink