Books by Marta Franova — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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)
Marta Franova
UniversiteÌ Paris-Sud, Laboratoire de Recherche en Informatique
View Details ›