Tudományterület szerző szerint "Schütte, Kurt"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

Cikk, tanulmány, mű

Schütte, Kurt: Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität. Acta cybernetica, (4) 1. pp. 141-148. (1978)

A lista elkészítésének dátuma 2017. szeptember 21. 06:54:16 CEST.