TY - BOOK AU - Hoffmann, Dirk W. AU - Hoffmann,Dirk W. TI - Theoretische Informatik SN - 9783446472563 PY - 2022/// CY - München PB - Hanser KW - Theoretische Informatik KW - rswk KW - Mengenlehre KW - Aussagenlogik KW - Prädikatenlogik KW - Automaten KW - Berechenbarkeitstheorie KW - Komplexitätstheorie N1 - Nur zum eigenen wissenschaftlichen Gebrauch. PDF-Fulltext-Download nach Shibboleth-Login UR - http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033341551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA UR - http://dx.doi.org/10.3139/9783446472563 ER -