A Game-Based Architecture for Developing Interactive Components in Computational Logic
暂无分享，去创建一个
John Darlington | Dale Miller | Tetsuo Ida | Herbert Kuchen | Aart Middeldorp | A. Krall | R. Plasmeijer | M. Kohler | M. Hagiya | P. Padawitz | C. Palamidessi | L. Naish M. J. O'donnell | C. H. Brzoska | Y. Guo | M. Hanus | J. Jaar | B. Jayaraman | J. Launchbury | J. Lloyd | J. J. Moreno navarro | F. Pfenning | D. Plaisted | U. Reddy | P. Van | Hentenryck D. S. Warren | J. Lloyd | F. Pfenning | M. Hanus | D. Plaisted | J. Darlington | M. Hagiya | A. Middeldorp | H. Kuchen | C. Palamidessi | J. Launchbury | A. Krall | C. Brzoska | J. J. M. Navarro | U. Reddy | P. Padawitz | T. Ida | M. Kohler | B. Jayaraman | R. Plasmeijer | P. Van | L. O'Donnell | Y. Guo | J. Jaar | Dale Miller | H. D. Warren