|
| << 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 6 van 10 gevonden artikelen
| Titel: |
The design and implementation of VAMPIRE |
| Auteur: |
Alexandre Riazanov Andrei Voronkov |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 15 (2002) nr. 2-3 pagina's 91-110 |
| Jaar: |
2002-07-16 |
| Inhoud: |
In this article we describe VAMPIRE: a high-performance theorem prover for first-order logic. As our description is mostly targeted to the developers of such systems and specialists in automated reasoning, it focuses on the design of the system and some key implementation features. We also analyze the performance of the prover at CASC-JC. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 10 gevonden artikelen
| << vorige | volgende >> |