Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen

Scheitlin, Hans

Publication type:	Contribution to magazine or newspaper
Title:	Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen
Authors:	Scheitlin, Hans
Published in:	Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik
Volume(Issue):	55
Issue:	6-7
Page(s):	65
Issue Date:	2004
Publisher / Ed. Institution:	AZ Fachverlag
ISSN:	1015-3926 0046-1784
Language:	German
Subjects:	Beweisen; Digitaltechnik; Aussagenlogik
Subject (DDC):	004: Computer science
Abstract:	Der dritte Teil dieser Artikelreihe befasst sich mit dem Ziehen von Schlussfolgerungen. Der Algorithmus gibt Auskunft darüber, ob eine Behauptung bezogen auf gesichertes Vorwissen zulässig ist oder ob sich ein Widerspruch ergibt.
URI:	https://digitalcollection.zhaw.ch/handle/11475/5209
Fulltext version:	Published version
License (according to publishing contract):	Licence according to publishing contract
Departement:	School of Engineering
Appears in collections:	Publikationen School of Engineering

Files in This Item:

There are no files associated with this item.

Show full item record

Scheitlin, H. (2004). Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen. Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik, 55(6-7), 65.

Scheitlin, H. (2004) ‘Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen’, Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik, 55(6-7), p. 65.

H. Scheitlin, “Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen,” Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik, vol. 55, no. 6-7, p. 65, 2004.

SCHEITLIN, Hans, 2004. Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen. Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik. 2004. Bd. 55, Nr. 6-7, S. 65

Scheitlin, Hans. 2004. “Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen.” Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik 55 (6-7): 65.

Scheitlin, Hans. “Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen.” Elektrotechnik: Schweizerische Zeitschrift für angewandte Elektrotechnik, vol. 55, no. 6-7, 2004, p. 65.