Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität

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)

[thumbnail of cybernetica_004_fasc_001_141-148.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_004_fasc_001_141-148.pdf

Letöltés (874kB) | Előnézet
Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1978
Kötet: 4
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 141-148
Nyelv: német
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38469/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 148. p.
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:27
Utolsó módosítás: 2022. jún. 08. 15:14
URI: http://acta.bibl.u-szeged.hu/id/eprint/12273
Bővebben:
Tétel nézet Tétel nézet