24 Beziehungen: Alan Bundy, Andrei Voronkov, Bruno Buchberger, Edmund M. Clarke, Franz Baader, Gérard Huet, Greg Nelson, Harald Ganzinger, J Strother Moore, Jacques Herbrand, John Alan Robinson, Larry Wos, Liste von Wissenschaftspreisen, Martin Davis, Maschinengestütztes Beweisen, Melvin Fitting, Moshe Y. Vardi, Robert S. Boyer, US-Dollar, William McCune, Wolfgang Bibel, Woody Bledsoe, Wu Wenjun, Zohar Manna.
Alan Bundy
Alan Bundy Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker.
Neu!!: Herbrand Award und Alan Bundy · Mehr sehen »
Andrei Voronkov
Andrei Voronkov, 2012 Andrei A. Voronkov (geb. Mai 1959https://beta.companieshouse.gov.uk/officers/KMmptYHYk0T1HVo8Es81NQjzd88/appointments) ist russisch-schwedischer Informatiker und Professor für Formale Methoden an der School of Computer Science der University of Manchester und an der Staatlichen Universität Nowosibirsk.
Neu!!: Herbrand Award und Andrei Voronkov · Mehr sehen »
Bruno Buchberger
Bruno Buchberger 2005 Bruno Buchberger (* 22. Oktober 1942 in Innsbruck) ist ein österreichischer Mathematiker.
Neu!!: Herbrand Award und Bruno Buchberger · Mehr sehen »
Edmund M. Clarke
Edmund M. Clarke 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker.
Neu!!: Herbrand Award und Edmund M. Clarke · Mehr sehen »
Franz Baader
Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker.
Neu!!: Herbrand Award und Franz Baader · Mehr sehen »
Gérard Huet
Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker.
Neu!!: Herbrand Award und Gérard Huet · Mehr sehen »
Greg Nelson
Greg Nelson ist ein US-amerikanischer Maskenbildner, der bei der Oscarverleihung 1990 für den Oscar für das beste Make-up nominiert war.
Neu!!: Herbrand Award und Greg Nelson · Mehr sehen »
Harald Ganzinger
Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war ein deutscher Informatiker.
Neu!!: Herbrand Award und Harald Ganzinger · Mehr sehen »
J Strother Moore
J Strother Moore J Strother Moore (* 11. September 1947 in Seminole, Oklahoma) ist ein US-amerikanischer Informatiker.
Neu!!: Herbrand Award und J Strother Moore · Mehr sehen »
Jacques Herbrand
Jacques Herbrand Jacques Herbrand (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker.
Neu!!: Herbrand Award und Jacques Herbrand · Mehr sehen »
John Alan Robinson
John Alan Robinson (2012) John Alan Robinson, genannt Alan Robinson, (* 9. März 1930 in Halifax, Yorkshire, Großbritannien; † 5. August 2016 in Portland, Maine, Vereinigte Staaten) war ein britischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat.
Neu!!: Herbrand Award und John Alan Robinson · Mehr sehen »
Larry Wos
Lawrence „Larry“ T. Wos (* 1930 in Chicago) ist ein US-amerikanischer Mathematiker, der sich mit automatischem Beweisen beschäftigt, also Techniken entwickelt, mit deren Hilfe ein Computerprogramm mathematische Beweise finden kann.
Neu!!: Herbrand Award und Larry Wos · Mehr sehen »
Liste von Wissenschaftspreisen
Die Liste von Wissenschaftspreisen bietet einen Überblick über die verschiedenen Auszeichnungen auf dem Gebiet der Wissenschaften.
Neu!!: Herbrand Award und Liste von Wissenschaftspreisen · Mehr sehen »
Martin Davis
Martin Davis, vor 2010 Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker.
Neu!!: Herbrand Award und Martin Davis · Mehr sehen »
Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme.
Neu!!: Herbrand Award und Maschinengestütztes Beweisen · Mehr sehen »
Melvin Fitting
Melvin Chris Fitting (* 24. Januar 1942 in Troy (New York)) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik, Informatik und Philosophie der Mathematik befasst.
Neu!!: Herbrand Award und Melvin Fitting · Mehr sehen »
Moshe Y. Vardi
Moshe Vardi Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker.
Neu!!: Herbrand Award und Moshe Y. Vardi · Mehr sehen »
Robert S. Boyer
Robert Stephen Boyer (geb. vor 1971) ist ein US-amerikanischer Informatiker.
Neu!!: Herbrand Award und Robert S. Boyer · Mehr sehen »
US-Dollar
Der US-Dollar (englisch: United States dollar; Abkürzung: USD; Symbol: $) ist die offizielle Währungseinheit der Vereinigten Staaten.
Neu!!: Herbrand Award und US-Dollar · Mehr sehen »
William McCune
William Walker „Bill“ McCune (* 1953; † 4. Mai 2011) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Automatischem Beweisen befasste.
Neu!!: Herbrand Award und William McCune · Mehr sehen »
Wolfgang Bibel
Wolfgang Bibel (r.) im Gespräch mit C. A. R. Hoare (2006) Leonhard Wolfgang Bibel (* 28. Oktober 1938 in Nürnberg) ist ein deutscher Informatiker, der zu den Begründern des Gebietes Künstliche Intelligenz in Deutschland und Europa gehört.
Neu!!: Herbrand Award und Wolfgang Bibel · Mehr sehen »
Woody Bledsoe
Woody Bledsoe Woodrow Wilson „Woody“ Bledsoe (* 12. November 1921 bei Maysville, Oklahoma; † 4. Oktober 1995) war ein US-amerikanischer Mathematiker und Informatiker, der sich mit Künstlicher Intelligenz, Automatischem Beweisen und Mustererkennung befasste.
Neu!!: Herbrand Award und Woody Bledsoe · Mehr sehen »
Wu Wenjun
Wu Wenjun Wu Wenjun (* 12. Mai 1919 in Shanghai; † 7. Mai 2017 in Peking) war ein chinesischer Mathematiker (Differentialgeometrie, Topologie, Algorithmische Geometrie).
Neu!!: Herbrand Award und Wu Wenjun · Mehr sehen »
Zohar Manna
Zohar Manna (* 17. Januar 1939 in Haifa; † 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker.
Neu!!: Herbrand Award und Zohar Manna · Mehr sehen »