Home / Authors / Marta Franova

Books by Marta Franova

All books by this author

1 books found
Why are we (almost always) able to prove inductive theorems "by hand" and how to obtain an automatic system that does it the same way: Introduction to ... Laboratoire de Recherche en Informatique)
Why are we (almost always) able to prove inductive theorems…
By: Marta Franova
View Details