View
Publication Type
Journal Article
Author, Analytic
Hatzilygeroudis, I.,; Reichgelt, Han
Author Affiliation, Ana.
Mathematics and Computer Science; Faculty of Pure and Applied Sciences
Article Title
ACT-P: A configurable theorem prover
Medium Designator
n/a
Connective Phrase
n/a
Journal Title
Data and knowledge engineering
Translated Title
n/a
Reprint Status
n/a
Date of Publication
1994
Volume ID
12
Issue ID
n/a
Page(s)
277-296
Language
n/a
Connective Phrase
n/a
Location/URL
n/a
ISSN
n/a
Notes
n/a
Abstract
n/a
Keywords
n/a