Logical methods in computer science : LMCS

• Record Nr.: UNINA9910146783003321
• Pubbl/distr/stampa: Braunschweig, Germany, : Technical University of Braunschweig
• Soggetti: Computer logic; Computer science; Informatique; Logique informatique; Periodicals.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Note generali: Refereed/Peer-reviewed