A proof theory for general unification by Snyder, Wayne fromProgress in computer science and applied logic 0 Type: Book
Derivation and computation: taking the Curry-Howard correspondence seriously by Simmons, Harold fromCambridge tracts in theoretical computer science 0 Type: Book
De l'apprentissage artificiel aux frontières de l'IA by Thayse, André fromDunod informatique 0 Type: Book
