Old Web
English
Sign In
Acemap
>
Paper
>
A Game-Based Architecture for Developing Interactive Components in Computational Logic
A Game-Based Architecture for Developing Interactive Components in Computational Logic
2000
L. Naish M. J. O'donnell
C. H. Brzoska
John Darlington
Y. Guo
M. Hagiya
M. Hanus
Tetsuo Ida
J. Jaar
Bharat Jayaraman
M. Köhler
A. Krall
Herbert Kuchen
J. Launchbury
J. Lloyd
Aart Middeldorp
Dale Miller
J. J. Moreno navarro
P. Padawitz
C. Palamidessi
F. Pfenning
D. Plaisted
R Plasmeijer
U Reddy
P. Van
Hentenryck D. S. Warren
Keywords:
Theoretical computer science
Computational logic
Architecture
Computer science
Computer architecture
game based
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]