Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 5 van 10 gevonden artikelen
 
 
  Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
 
 
Titel: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
Auteur: Dominique Pastre
Verschenen in: AI communications
Paginering: Jaargang 15 (2002) nr. 2-3 pagina's 147-160
Jaar: 2002-07-16
Inhoud: MUSCADET is a knowledge-based theorem prover based on natural deduction. It has participated in CADE Automated theorem proving System Competitions. The results show its complementarity with regard to resolution-based provers. This paper presents some of its crucial methods and gives some examples of MUSCADET proofs from the last competition (CASC-JC in IJCAR 2001).
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 5 van 10 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland