[Lecture Notes in Mathematics] Polynômes Orthogonaux et Applications Volume 1171 || Semi-classical orthogonal polynomials
- 作者Brezinski, Claude; Draux, André; Magnus, Alphonse P.; Maroni, Pascal; Ronveaux, André
- 文件大小267.18KB
- 发表时间1985
- DOI10.1007/BFb0076564
- 页码354-361
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 ||Felty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || System Description: E.T. 0.1Felty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Expressing Symmetry Breaking in DRAT ProofsFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || SEPIA: Search for Proofs Using Inferred AutomataFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || History and Prospects for First-Order Automated DeductionFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Tableaux Methods for Propositional Dynamic Logics with Separating Parallel CompositionFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Automated Theorem Proving for Assertions in Separation Logic with All ConnectivesFelty, Amy P.; Middeldorp, Aart · 2015