×

zbMATH — the first resource for mathematics

Found 51 Documents (Results 1–51)

100
MathJax
Artificial intelligence and mathematical theory of computation, Pap. in Honor of J. McCarthy, 231-246 (1991).
MSC:  68T15 68T30 68N17
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
Classification