Constructive Second-Order Proofs in Logical DatabasesDownload PDF

Michel de Rougemont

1987 (modified: 16 Jul 2019)IJCAI 1987Readers: Everyone
0 Replies