I'm Professor Emeritus (as regarding 2001 Jan 1) of Computer Science from Stanford University and and here is more concerning me personally which includes addresses.
What's new?It comes about to me this anyone who has by now noticed this particular web site might not want to slog through the entire thing for the chance which a little something newly established might fascination them. If you've appeared at this internet page before, next glance atthisdated list. Dates start out inside 1995 July. I at times pass up one particular or two.
is some sort of development hype story. Maybe I'll attempt to publish that conventionally. Do people think I should?
I have decided to make somecomment from time to time on world, country wide in addition to scientific affairs.I do not own time frame for making this particular right into a appropriate blog.
INTRODUCTORY .My purpose is find almost all my papers many involving my own notes in to a form reachable using this page.
Slides for a lot of my classes usually are here.
If any on the documents let us discuss shown seeing that references, I will be happy if the URLs ingested combined with paper references. Some can be obtained just when Web paperwork all of which will stay that will way. Please consist of them while personal references in the event you could reference your published document while using very same content.
Up to: The Formal Reasoning Group that has links for the internet pages connected with my associates and students. PAPERS ON PROGRAMMING LANGUAGES PUBLISHED PAPERS ON MATHEMATICAL THEORY OF COMPUTATIONA Basis regarding a Mathematical Theory connected with Computation, earliest assigned around 1961, seemed to be published within 1963 with Computer Programming and also Formal Systems, edited simply by P. Braffort as well as D. Hirschberg and released simply by North-Holland. PUBLISHED AI PAPERS I gathered on documents certainly not built into this publication Formalizing Common Sense, Ablex 1990, even so the papers a part of that will book at the moment are here. is surely an invited commentary in which been seen in around Volume 2, Issue some (1995) on the Journal involving Consciousness Studies . Notes upon AI Modality, si! Modal logic, no! argues that there tend to be improved ways, specifically AI, of the treatment of modalities when compared with any type of modal logic. It appeared within Studia Logica, amount 59, 1997 OTHER COMPUTER SCIENCE MATHEMATICAL PAPERSAN EVERYWHERE CONTINUOUS NOWHERE DIFFERENTIABLE FUNCTIONThis observe seemed to be printed in the AMERICAN MATHEMATICAL MONTHLY with 1953 December. The point of the instance is the evidence of is usually 13 lines of rather effortless mathematics. AI PAPERS IN PROGRESS , 1996 August, has been that schedule of an asked talk at KR-96 around 1996 November. HISTORY Links for you to articles or blog posts of historic fascination like historical past with Lisp, time-sharing, AI. BOOK REVIEW back links EDITORIAL PROJECTSBASIC TOPICS IN EXPERIMENTAL COMPUTER SCIENCEis some sort of start on a report on the over topic. POLITICS Not much here now. There will be more later. Small notices about various matters .
No comments:
Post a Comment