The generalised completeness of Horn predicate-logic as a programming language

Andréka Hajnal; Németi István: The generalised completeness of Horn predicate-logic as a programming language. In: Acta cybernetica, (4) 1. pp. 3-10. (1978)

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

Letöltés (873kB) | 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. 3-10
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38469/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 10. 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. 14:23
URI: http://acta.bibl.u-szeged.hu/id/eprint/12260
Bővebben:
Tétel nézet Tétel nézet