Normal view
MARC view
- Künstliche Intelligenz
Künstliche Intelligenz Model Checking Kongress Patras <2008> (Topical Term)
Machine generated authority record.
Work cat.: (NUST)31950: MoChArt 2008 (2008 : Patrai, Greece) 82104, Model Checking and Artificial Intelligence , c2009.