Predicate Logic Unplugged

Abstract

Die vorliegende Arbeit wurde im Rahmen des Verbundvorhabens Verbmobil vom Bundes-ministerium f ur Bildung, Wissenschaft, Forschung und Technologie (BMBF) unter dem FF orderkennzeichen 01 IV 101 R geff ordert. Die Verantwortung f ur den Inhalt dieser Arbeit liegt bei dem Autor.

Statistics

01020'95'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

209 Citations

Semantic Scholar estimates that this publication has 209 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Bos1995PredicateLU, title={Predicate Logic Unplugged}, author={Johan Bos}, year={1995} }