Leaning search control knowlledge for equational deduction /

Description

Thesis (Dr. rer. nat.)--Technische Universität München, 2000. / "Infix"--Cover. Includes bibliographical references (p. [164]-175) and index.

Links & Downloads

1. http://www.loc.gov/catdir/toc/fy0804/2007440965.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/233026468
Date	January 2000
Creators	Schulz, Stephan.
Publisher	Berlin : AKA,
Source Sets	OCLC
Language	English
Detected Language	English