Matches in Wikidata for { <http://www.wikidata.org/entity/Q27976187> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- Q27976187 description "Buch von Andrew Appel" @default.
- Q27976187 description "boek van Andrew Appel" @default.
- Q27976187 description "book by Andrew Appel" @default.
- Q27976187 description "libro de Andrew Appel" @default.
- Q27976187 description "livre d'Andrew Appel" @default.
- Q27976187 description "книга" @default.
- Q27976187 name "Program Logics for Certified Compilers" @default.
- Q27976187 name "Program Logics for Certified Compilers" @default.
- Q27976187 type Item @default.
- Q27976187 label "Program Logics for Certified Compilers" @default.
- Q27976187 label "Program Logics for Certified Compilers" @default.
- Q27976187 prefLabel "Program Logics for Certified Compilers" @default.
- Q27976187 prefLabel "Program Logics for Certified Compilers" @default.
- Q27976187 P1104 Q27976187-8F217A07-9B8F-4CC7-B12E-BB26E0E64770 @default.
- Q27976187 P123 Q27976187-914F17D7-E488-47A5-A7DC-55DDB2B23BF4 @default.
- Q27976187 P1476 Q27976187-474F1B04-056B-4E33-838F-6079FFD28761 @default.
- Q27976187 P212 Q27976187-D0472341-0D82-417C-9AF8-F5523B3D19D1 @default.
- Q27976187 P2969 Q27976187-73DEC685-F39B-4572-B125-8AA332468EEA @default.
- Q27976187 P31 Q27976187-F07C729E-3339-456E-ABA9-7F9C26347086 @default.
- Q27976187 P407 Q27976187-106D5A55-7551-4D3F-81F6-2CDEB910C4FA @default.
- Q27976187 P50 Q27976187-5F947E3F-CF7E-40DB-A800-BFD5FE2C3E6C @default.
- Q27976187 P50 Q27976187-73E00494-5E27-48DC-86C2-71E923AB578C @default.
- Q27976187 P50 Q27976187-7E0AA732-21B0-43F4-BEF1-EF0A1889CB28 @default.
- Q27976187 P50 Q27976187-9CEE2DA8-669F-430A-BF5D-2CFEDD1308CF @default.
- Q27976187 P50 Q27976187-A3B42098-9B8B-4C82-B869-29A9019068A6 @default.
- Q27976187 P50 Q27976187-A67A1772-F6F6-48ED-BDA8-4E7E50CDD146 @default.
- Q27976187 P50 Q27976187-E1523BAF-2D7C-4D76-99BE-9DEEAAE437C2 @default.
- Q27976187 P571 Q27976187-20FC99EE-7EF5-410C-B49A-65F147EB00F0 @default.
- Q27976187 P648 Q27976187-90898D60-D239-4BAD-A4C9-7D601D228DE8 @default.
- Q27976187 P8383 Q27976187-7255ee80-dfbb-42d8-a18a-1feaed2483ac @default.
- Q27976187 P212 urn:ISBN:978-1-107-04801-0 @default.
- Q27976187 P648 OL28516232M @default.
- Q27976187 P1104 "+472" @default.
- Q27976187 P123 Q912887 @default.
- Q27976187 P1476 "Program Logics for Certified Compilers" @default.
- Q27976187 P212 "978-1-107-04801-0" @default.
- Q27976187 P2969 "20535132" @default.
- Q27976187 P31 Q7725634 @default.
- Q27976187 P407 Q1860 @default.
- Q27976187 P50 Q27976168 @default.
- Q27976187 P50 Q27976169 @default.
- Q27976187 P50 Q27976173 @default.
- Q27976187 P50 Q27976177 @default.
- Q27976187 P50 Q27976180 @default.
- Q27976187 P50 Q3570727 @default.
- Q27976187 P50 Q4756213 @default.
- Q27976187 P571 "2014-01-01T00:00:00Z" @default.
- Q27976187 P648 "OL28516232M" @default.
- Q27976187 P8383 "37755170" @default.