Pages that link to "Item:Q926451"

The following pages link to Computer science -- theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3--7, 2007. Proceedings (Q926451):

Displaying 2 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)