Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/153834
-
Title:
Can Computers Think as Humans?
en
Citation:
Kovacs, L. (2022, January 26).
Can Computers Think as Humans?
[Keynote Presentation]. WiSE Talk at the SCIENCE Lecture Series Talks of Wiener Volksshochsculen and City of Vienna, Austria.
-
Publication Type:
Presentation - Keynote Presentation
en
Vortrag - Keynote Presentation
de
Language:
German
-
Authors:
Kovacs, Laura
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
26-Jan-2022
-
Event name:
WiSE Talk at the SCIENCE Lecture Series Talks of Wiener Volksshochsculen and City of Vienna
en
Event date:
26-Jan-2022
-
Event place:
Austria
-
Keywords:
formal methods
en
Project title:
Automated Reasoning with Theories and Induction for Software Technologies
-
Project ID:
ERC Consolidator Grant 2020
-
Funder:
European Commission
-
Research Areas:
Computer Science Foundations: 100%
-
Science Branch:
1020 - Informatik: 100%
-
Appears in Collections:
Presentation
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
11
checked on Mar 2, 2023
Google Scholar
TM
Check