Theorem proving in higher order logics

Name: Theorem proving in higher order logics
Author: Yves Bertot, Gilles Dowek, Andre Hirschowitz

by Yves Bertot, Gilles Dowek, Andre Hirschowitz

Cover of Theorem proving in higher order logics

No description available.

CongressesAutomatic theorem provingCongresTheoremesLinguagens formais e automatosHOLKongressLogicaAutomatisches BeweisverfahrenLogica matematicaDemonstration automatiqueAutomatische bewijsvoering