Opérateurs de mise en mémoire et traduction de Gödel.

Jean-Louis Krivine

Published in: Arch. Math. Log. (1990)

Keyphrases

social bookmarking
artificial intelligence
face recognition
multiscale
lower bound
user interface
special case