TY - BOOK ID - 127253152 TI - LOGIQUE ET PROGRAMMATION MACHINES DE TURING ET FONCTIONS RECURSIVES AU - Vauquois, Bernard AU - Université de Grenoble.. Faculté des sciences PY - PB - Grenoble: [éditeur inconnu], DB - UniCat KW - Turing Machines UR - https://www.unicat.be/uniCat?func=search&query=sysid:127253152 AB - ER -