1
יצא לאור 2015
תוכן הענינים: ... Recursive Functions by Virus Machines -- About models derived from colonies....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני