Soft typing for clausal inference systems

Description

Saarbrücken, University, Diss., 1999.

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=972339892
2. http://scidok.sulb.uni-saarland.de/volltexte/2004/206/pdf/ChristophMeyerProfDrHaraldGanzinger.pdf
3. http://scidok.sulb.uni-saarland.de/volltexte/2004/206/index.html

Tags

Automatisches Beweisverfahren

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76517363
Date	January 1900
Creators	Meyer, Christoph.
Publisher	[S.l. : s.n.,
Source Sets	OCLC
Language	English
Detected Language	English
Source	LF