Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=090152557.

Logical methods in computer science

Date :

Editeur / Publisher : Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig , [200.]-

Type : Périodique / Serial

Langue / Language : anglais / English