A note regarding multiple-valued algorithmic logics as a tool to investigate programs:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Rine, David (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Warszawa 1976
Schriftenreihe:Polska Akademia Nauk <Warszawa> / Centrum Obliczeniowe: Prace CO PAN 244
Beschreibung:20 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!