La lecture à portée de main
Auteur
Suivre Jean - Marc Andreoli
Documents
Exploiting non canonicity in the sequent calculus
Jean - Marc Andreoli
Documents
Rapports de stage
Exploiting non canonicity in the sequent calculus
Jean - Marc Andreoli
163 pages
English