22 - Äquivalente Normalformen und Prädikatenlogische Resolution - Dr. Frank Heitmann - Universität Hamburg
Videokatalog
3497 Aufrufe
30.06.2015
https://lecture2go.uni-hamburg.de/de/l2go?p_p_id=AutocompleteSearch_INSTANCE_GlobalMobileSearch&p_p_lifecycle=2&p_p_state=normal&p_p_mode=view&p_p_cacheability=cacheLevelPage&_AutocompleteSearch_INSTANCE_GlobalMobileSearch_task=findVideos&_AutocompleteSearch_INSTANCE_GlobalMobileSearch__OpenAccessVideos_objectType=v&_AutocompleteSearch_INSTANCE_GlobalMobileSearch__OpenAccessVideos_mvcRenderCommandName=%2Fview%2Frender%2Fdetails&_AutocompleteSearch_INSTANCE_GlobalMobileSearch__OpenAccessVideos_objectId=17833
https://lecture2go.uni-hamburg.de/de/l2go?p_p_id=AutocompleteSearch_INSTANCE_GlobalDesktopSearch&p_p_lifecycle=2&p_p_state=normal&p_p_mode=view&p_p_cacheability=cacheLevelPage&_AutocompleteSearch_INSTANCE_GlobalDesktopSearch_task=findVideos&_AutocompleteSearch_INSTANCE_GlobalDesktopSearch__OpenAccessVideos_objectType=v&_AutocompleteSearch_INSTANCE_GlobalDesktopSearch__OpenAccessVideos_mvcRenderCommandName=%2Fview%2Frender%2Fdetails&_AutocompleteSearch_INSTANCE_GlobalDesktopSearch__OpenAccessVideos_objectId=17833
