Zur Effizienz der Beweissuche in der Logikverarbeitung /

Description

Zugl.: Paderborn, Universiẗat, Diss., 1997.

Links & Downloads

1. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=007742489&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/64544484
Date	January 1997
Creators	Dunker, Ulf.
Publisher	Aachen : Shaker,
Source Sets	OCLC
Language	German
Detected Language	German