• search hit 38 of 1
Back to Result List

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

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Torsten H. SchaubORCiDGND, Stefan Brüning, Pascal Nicolas
ISBN:3-540-61511-3
Publication type:Article
Language:English
Year of first publication:1996
Publication year: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 the publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.