• search hit 14 of 20
Back to Result List

Lemma handling in default logic theorem provers

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Thomas Linke, Torsten H. SchaubORCiDGND
ISBN:3540601120
Publication type:Article
Language:English
Year of first publication:1995
Publication year:1995
Release date:2017/03/25
Source:Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995, proceedings / Christine Froidevaux, Jürg Kohlas (eds.). - Berlin [u.a.] : Springer, 1995. - (Lecture notes in computer science ; 946). - ISBN 3540601120. - S. 285 - 292
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.