01428nam 2200361 450 991037634480332120230823201653.0(CKB)3710000000880796(Non_Seri)133364(NjHacI)993710000000880796(EXLCZ)99371000000088079620230823d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLFMTP 2016 proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal /Association for Computing MachineryNew York, New York :The Association for Computing Machinery,2016.1 online resource (41 pages)1-4503-4777-0 Annotation Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Jun 23, 2016-Jun 23, 2016 Porto, Portugal. You can view more information about this proceeding and all of ACM#65533;s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.Logic programmingLogic programming languagesLogic programming.Logic programming languages.005.115NjHacINjHaclBOOK9910376344803321LFMTP 20162211247UNINA