Meta topics
ProCoS
—monthly views
0copies owned
—player watchlists
Meta topics
ProCoS
European collaborative research project
common · Q139568110
Related cards · formal methods
See all 6
People
Muffy Calder
—monthly views
0copies owned
—player watchlists
People
Eric Hehner
—monthly views
0copies owned
—player watchlists
People
Andrei Voronkov (computer scientist)
—monthly views
0copies owned
—player watchlists
People
John Rushby
—monthly views
0copies owned
—player watchlists
People
Anca Muscholl
—monthly views
0copies owned
—player watchlists
Related cards · computer science
See all 1,095
People
Alan Turing
—monthly views
0copies owned
—player watchlists
.jpg/330px-Alan_Kay_and_the_prototype_of_the_Dynabook_(3009206205).jpg)
People
Alan Kay
—monthly views
0copies owned
—player watchlists
People
Allen Newell
—monthly views
0copies owned
—player watchlists
Concepts
Algorithmic curation
—monthly views
0copies owned
—player watchlists
People
Alfred Aho
—monthly views
0copies owned
—player watchlists
People
Andrew Barto
—monthly views
0copies owned
—player watchlists