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
License (according to publishing contract) : Licence according to publishing contract
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.
Departement: School of Engineering
Publication type: Contribution to Magazine or Newspaper
ISSN: 1015-3926
URI: https://digitalcollection.zhaw.ch/handle/11475/5209
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.