scientific article; zbMATH DE number 1765683
From MaRDI portal
Publication:4539623
zbMath0988.68589MaRDI QIDQ4539623
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830381
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semantically-guided goal-sensitive reasoning: model representation, History and Prospects for First-Order Automated Deduction, The disconnection tableau calculus, Semantically-guided goal-sensitive reasoning: inference system and completeness, Towards a unified model of search in theorem-proving: subgoal-reduction strategies, The Relative Power of Semantics and Unification, DCTP, A relevance restriction strategy for automated deduction
Uses Software