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 ...

Le JAM accueille plus de 80 concerts d'octobre à mi-juin, soit 2 à 3 concerts par semaine en moyenne. Le JAM souhaite ouvrir ses portes au plus large public et proposant des musiques diverses en ...

Vingt-cinq ans que ça fuse. Et Superbus n'a rien perdu de son mordant. Après une date au Zénith de Paris très... Lola Young une artiste à part et comme tous les artistes à part, on veut les voir en ...