• search hit 74 of 960
Back to Result List

A voiding non-ground variables

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Stefan Brüning, Torsten SchaubORCiDGND
Document Type:Article
Year of first Publication:1999
Year of Completion:1999
Release Date:2017/03/24
Source:Symbolic and quantitative approaches to reasoning and uncertainty : European conference proceedings / Hrsg.: Anthony Hunter ; S. Parsons. - Berlin [u.a.]: Springer, 1999. - (Lecture notes in computer science ; 1638 : Lecture notes in artificial intelligence)
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