English

Szerző: " Schütte Kurt"

[Fel] Vissza
Export [RSS feed] RSS 1.0 [RSS2 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. In: Acta cybernetica, (4) 1. pp. 141-148. (1978)

A lista elkészítésének dátuma 2026. január 22. 11:52:17 CET.
Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.