CDSAT: conflict-driven theory combination

1 hour 16 mins,  543.25 MB,  WebM  640x360,  29.97 fps,  44100 Hz,  975.93 kbits/sec
Share this media item:
Embed this media item:


About this item
Image inherited from collection
Description: Bonacina, M
Monday 17th July 2017 - 11:00 to 12:00
 
Created: 2017-08-25 14:46
Collection: Big proof
Publisher: Isaac Newton Institute
Copyright: Bonacina, M
Language: eng (English)
Distribution: World     (downloadable)
Explicit content: No
Aspect Ratio: 16:9
Screencast: No
Bumper: UCS Default
Trailer: UCS Default
Available Formats
Format Quality Bitrate Size
MPEG-4 Video 640x360    1.91 Mbits/sec 1.07 GB View Download
WebM * 640x360    975.93 kbits/sec 543.25 MB View Download
iPod Video 480x270    493.97 kbits/sec 274.97 MB View Download
MP3 44100 Hz 250.61 kbits/sec 139.51 MB Listen Download
Auto (Allows browser to choose a format it supports)