Loading...

Live CEOing Ep 263: Predicate Logic Theorem Proving in Wolfram Language

83 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Aug 29, 2019

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Predicate Logic Theorem Proving in the Wolfram Language.

Loading...


to add this to Watch Later

Add to

Loading playlists...