Jeux (nom déposé) Jeu de construction constitué de petites pièces en plastique qui s'emboîtent.
Trouvé sur
https://www.linternaute.fr/dictionnaire/fr/definition/lego/
LEGO (logiciel)
LEGO, est un assistant de preuve interactif, créé par Randy Pollack en 1994 - Il possède plusieurs systèmes de types : - Les preuves sont développées dans le style de la déduction naturelle. La synthèse d`argument et le polymorphisme permettent de rendre la formalisation proche des math?...
Trouvé sur
https://fr.wikipedia.org/wiki/LEGO_(logiciel)
Aucun résultat n’a été trouvé dans l’encyclopédie.
