Podrobnosti e-časopisu

Název: HOL Theorem Proving System and Its Applications, International Workshop on the Alternativní: HOL Theorem Proving System and Its Applications, International Workshop on the Recenzováno: Ne   Dostupnost: IEEE Electronic Library (IEL)   Dostupný od 1991 Dostupné pro: NTK