Researcher · Stanford University · United States
Georg Kreisel
Georg Kreisel publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and History and Theory of Mathematics.
- World rank
- #150,774 of 7,710,434 ranked researchers
- Rank in United States
- #56,837 of 1,627,098
- Works
- 128
- Citations
- 4.1k
- Citations per work
- 31.9
Discussion
Ask a question or share a note about Georg Kreisel. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.