Zur Modellierung logischer Aussagen ergänzend zu linearen Programmen

Grundlagen und Entwurfsüberlegungen für einen Modellgenerator

by Gernot Meier, Roland Düsing · 1990