LEADER 01428nam  2200361   450 
001 9910376344803321
005 20230823201653.0
035   $a(CKB)3710000000880796
035   $a(Non_Seri)133364
035   $a(NjHacI)993710000000880796
035   $a(EXLCZ)993710000000880796
100   $a20230823d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLFMTP 2016 $eproceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal /$fAssociation for Computing Machinery
210  1$aNew York, New York :$cThe Association for Computing Machinery,$d2016.
215   $a1 online resource (41 pages)
311   $a1-4503-4777-0 
330   $aAnnotation 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.
606   $aLogic programming
606   $aLogic programming languages
615  0$aLogic programming.
615  0$aLogic programming languages.
676   $a005.115
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910376344803321
996   $aLFMTP 2016$92211247
997   $aUNINA