Title: Unterhaltsame Digitaltechnik (3) : Expertensystem und maschinelles Beweisen
Authors : Scheitlin, Hans
Published in : Elektrotechnik
Volume(Issue) : 55
Issue : 6-7
Pages : 65
Publisher / Ed. Institution : AZ Medien
Issue Date: 2004
Language : Deutsch / German
Subjects : Beweisen; Digitaltechnik; Aussagenlogik
Subject (DDC) : 004: Informatik
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.
Departement: School of Engineering
Publication type: Beitrag in Magazin oder Zeitung / Contribution to Magazine or Newspaper
ISSN: 1015-3926
URI: https://digitalcollection.zhaw.ch/handle/11475/5209
License (according to publishing contract) : Lizenz gemäss Verlagsvertrag / Licence according to publishing contract
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.