… David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenwärtigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale und Logikprogrammierung.
Der Streichpreis bezieht sich auf die unverbindliche Preisempfehlung des Herstellers, den aktuellen durchschnittlichen Neupreis des Produktes bei idealo Deutschland, oder bei Büchern auf den festgelegten Preis für Neuware.