Herbrand Award — The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. (although it predates the formal incorporation of CADE) to honour persons or groups for important contributions to the field of automated… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
John Alan Robinson — is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.Alan Robinson s major contribution is to the foundations of automated theorem proving and logic… … Wikipedia
Список премий в информатике — Это служебный список статей, созданный для координации работ по развитию темы. Его необходимо преобразовать в информационный список или глоссарий или перенести в один из проектов. … Википедия
Кларк, Эдмунд Мельсон — Эдмунд Мельсон Кларк младший Edmund Melson Clarke, Jr … Википедия
List of prizes, medals, and awards — A list of famous prizes, medals, and awards including badges, bowls, cups, state decorations, trophies, etc. Contents 1 Business and management 2 Entertainment 2.1 Advertising … Wikipedia
Ganzinger — Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max Planck Institut für Informatik. Harald Ganzinger… … Deutsch Wikipedia
Edmund M. Clarke — 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist… … Deutsch Wikipedia
Competitions and prizes in artificial intelligence — There are a number of competitions and prizes to promote research in artificial intelligence. Contents 1 General machine intelligence 2 Conversational behaviour 3 Pilotless aircraft 4 … Wikipedia
Alan Bundy — Alan Bundy, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta level reasoning to guide… … Wikipedia
