Old Web
English
Sign In
Acemap
>
Paper
>
1997 European Summer Meeting of the Association for Symbolic Logic
1997 European Summer Meeting of the Association for Symbolic Logic
1998
M. Hyland Hodges
A. H. Lachlan
A. Louveau
Y. N. Moschovakis
L. Pacholski
A. Slomson
J. Truss
Stanley S. Wainer
Keywords:
Mathematical logic
Artificial intelligence
Computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]