• search hit 1 of 143
Back to Result List

XRay : a prolog technology theorem prover for default reasoning: a system description

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Torsten SchaubORCiDGND, Stefan Brüning, Pascal Nicolas
ISBN:3-540-61511-3
Document Type:Article
Language:English
Year of first Publication:1996
Year of Completion:1996
Release Date:2017/03/25
Source:Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996 ; proceedings / Hrsg.: M. A. McRobbie [u.a.]. - Berlin [u.a.] : Springer, 1996. - (Lecture notes in computer science ; 1104 : Lecture notes in artificial intelligence). - ISBN 3-540-61511-3. - S. 293 - 297
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik