Auflistung nach Autor "Steen, Alexander"
Anzeige der Dokumente 1-2 von 2
-
Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III
Steen, Alexander
105-108 -
Higher-order theorem proving and its applications
Steen, Alexander
187-191