• search hit 34 of 1
Back to Result List

Default reasoning by deductive planning

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Michael Thielscher, Torsten H. SchaubORCiDGND
Publication type:Article
Language:English
Year of first publication:1995
Publication year:1995
Release date:2017/03/25
Source:Journal of automated reasoning. - 15 (1995), 1, S. 1 - 40
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.