English

Szerző: " Schütte Kurt"

csoportosítás: Mű típusa | csoportosítás nélkül

Találatok száma: 1.

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 2024. május 5. 02:51:31 CEST.

Bielefeld Academic Search Engine

MTMT Minősített Repozitórium

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.