Search alternatives:
"menagerie" » "managerin"
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk 1 -- MetiTarski’s Menagerie of Cooperating Systems -- Inductive Theorem Proving...”