Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs‘99, Nice, France...

Das Buch "Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs‘99" ist ein Sammelband der Konferenzbeiträge, die auf der 12. Internationalen Konferenz über Theorembeweisen in höheren Ordnungssprachen präsentiert wurden. Diese fand im September 1999 in Nizza, Frankreich, statt. Herausgegeben von Gilles Dowek, bietet das Buch eine umfassende Sammlung von Forschungsarbeiten und Entwicklungen im Bereich des automatisierten Beweisens und der formalen Verifikation unter Verwendung höherstufiger Logiken. Die Beiträge decken eine Vielzahl von Themen ab, darunter neue Theorien und Methoden des Theorembeweisens, Anwendungen in der Software- und Hardwareverifikation sowie innovative Ansätze zur Verbesserung bestehender Werkzeuge und Systeme. Das Buch richtet sich an Forscher und Praktiker im Bereich der Informatik und Mathematik, die sich mit formalen Methoden und logischen Systemen beschäftigen.