Informazioni generali

LOGICAL METHODS IN COMPUTER SCIENCE  

journal00350  

E190201  

DE  

1860-5974  

English  

Rivista

Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universit√§t Braunschweig.  

2005