عرض عادي
عرض مارك
- K�unstliche Intelligenz
K�unstliche Intelligenz Model Checking Kongress Patras <2008> (مصطلح موضوعي)
Machine generated authority record.
Work cat.: (OSt)0: MoChArt 2008 (2008 : Patrai, Greece) 3491, Model Checking and Artificial Intelligence :, c2009.