E-resource typeBOOKCDCONFERENCEDATABASEDISSERTATIONDOCUMENTJOURNALMANUSCRIPTNEWSPAPERPROCEEDINGREPORTSERIESTRANSCRIPTWIRE*
Main titleAnnual IEEE Symposium on Logic in Computer Science
Languageeng
Katalog knihoven RA EIZ je vytvářen na základě Adresáře knihoven a informačních institucí v ČR vytvářeného Národní knihovnou ČR