Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=003003825.

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul / Richard Lassaigne, Michel de Rougemont

Date :

Editeur / Publisher : Paris : Hermès , copyright 1993

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-86601-380-8

ISBN : 978-2-86601-380-6

Catalogue Worldcat

EAN : 9782866013806

Fonctions calculables

Décidabilité (logique mathématique)

Informatique -- Mathématiques

Lambda-calcul

Complexité de calcul (informatique)

Logique mathématique

Classification Dewey : 005.131

Classification Dewey : 511.3

Collection : Traité des nouvelles technologies. Série Informatique / Paris : Hermès , 1988-1992