Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Ceux qui ne veulent pas s'embêter avec un système son dédié - barre de son ou enceintes - peuvent s'orienter vers des téléviseurs qui embarque une partie audio de qualité, voire une petite barre de ...