Back to Results
First PageMeta Content
Formal languages / Formal systems / Logical truth / Theoretical computer science / Automated theorem proving / Mathematical proof / Formal proof / Logic Theorist / Formal methods / Logic / Mathematics / Proof theory


AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones
Add to Reading List

Document Date: 2013-10-30 13:20:29

Open Document

File Size: 495,93 KB

Share Result on Facebook

Company

Andrew Ireland / /

Event

FDA Phase / /

Facility

Cliff Jones Newcastle University / /

Organization

IBM Lab Vienna / Newcastle University / /

Person

Steve Wright / Michael Butler / John McCarthy / Herb Simon / Alan Bundy (Edinburgh) / Leo Freitas / /

Position

designer / /

Product

AI4FM / /

Technology

artificial intelligence / GUI / /

SocialTag