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
Pages: 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.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.