Skip to content
Vinony

Theorem Proving in Higher Order Logics

by Hutchison, David - undifferentiated

Cover of Theorem Proving in Higher Order Logics

No description available.

Logic designArtificial intelligenceComputer scienceSoftware engineeringAutomatic theorem provingCongresses