A modelling tool based on mathematical logic T-PROLOG

Futó István; Szeredi János; Szenes Katalin: A modelling tool based on mathematical logic T-PROLOG. In: Acta cybernetica, (5) 3. pp. 363-375. (1981)

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

Letöltés (1MB) | Előnézet
Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1981
Kötet: 5
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 363-375
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38475/
Kulcsszavak: Számítástechnika, Kibernetika, Matematika
Megjegyzések: Bibliogr.: 375. p.
Szakterület: 01. Természettudományok
01. Természettudományok > 01.01. Matematika
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. 09. 13:24
URI: http://acta.bibl.u-szeged.hu/id/eprint/12324
Bővebben:
Tétel nézet Tétel nézet