THUE rendszerek CHURCH-ROSSER tulajdonságának eldönthetősége

QR kód

THUE rendszerek CHURCH-ROSSER tulajdonságának eldönthetősége

Elmentve itt :

Bibliográfiai részletek
Szerző:	Farkas Gábor
További közreműködők:	Fülöp Zoltán (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1990
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/846

Hasonló tételek

Az általánosított szekvenciális gépek ekvivalenciájának algoritmikus eldönthetősége
Szerző: Zachar Zoltán
Megjelent: (1975)

THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás)
Szerző: Tóth István
Megjelent: (1990)

Another proof of the Gödel—Rosser incompleíability theorem
Szerző: Kalmár László
Megjelent: (1950)

Európai tőzsdeindexek kockázattovábbító tulajdonságának vizsgálata
Szerző: Sallai Dóra, et al.
Megjelent: (2022)

Xilitekből kinyert cellulóz néhány tulajdonságának vizsgálata
Szerző: Sipos Sándor, et al.
Megjelent: (1964)

Convictions in the church
Szerző: Riches Kenneth
Megjelent: (1947)

A trigonális szelén néhány fotoelektromos tulajdonságának vizsgálata
Szerző: Zsednai József
Megjelent: (1986)

A kannabidiolsav néhány tulajdonságának vizsgálata élelmiszertartósítási szempontból
Szerző: Gál Ilona Emma, et al.
Megjelent: (1969)

Termelői borok összetételének és dielektromos tulajdonságának vizsgálata [absztrakt] /
Szerző: Juhász Blanka, et al.
Megjelent: (2023)

The church of the New Testament
Szerző: Craig Clarence Tucker
Megjelent: (1947)

The church and her responsibility
Szerző: Florovsky Georges
Megjelent: (1947)

The church failure to be christian
Szerző: Neill S. C.
Megjelent: (1947)

The Birth of the Anglican Church
Szerző: Kállai Anikó
Megjelent: (1994)

The Reformation of the Church in England
Szerző: Dési Zoltán
Megjelent: (1998)

Jesper Eckhardt Larsen, Barbara Schulte & Fredrik W. Thue (red.) Schoolteachers and the Nordic Model: Comparative and Historical perspectives. London: Routledge 2021. /
Szerző: Nóbik Attila
Megjelent: (2023)

Szilícium és germánium kristályok néhány elektromos tulajdonságának meghatározása
Szerző: Gyulai József
Megjelent: (1960)

Csemegekukorica néhány morfológiai tulajdonságának alakulása gombakomposzt-trágyázás hatására
Szerző: Slezák Katalin, et al.
Megjelent: (2009)

History of the Anglican Church Antecedents and Surviving /
Szerző: Hegyi Ibolya
Megjelent: (2005)

Szakértői rendszerek
Szerző: Gaizer Tamás
Megjelent: (1988)

A párologtatott szelénrétegek kristályosodásának és néhány elektromos tulajdonságának vizsgálata
Szerző: Szalontai István
Megjelent: (1971)

The church of Our Lady in Csongrád
Szerző: Bara Júlia, et al.
Megjelent: (2019)

The disorder of man in the church of god
Szerző: Niebuhr H. Richard
Megjelent: (1947)

The church according to the New testament
Szerző: Aulén Gustav
Megjelent: (1947)

The involvement of the church in the social disorder
Szerző: Bennett John C.
Megjelent: (1947)

The church' approach to international affairs
Szerző: Barnes Roswell P.
Megjelent: (1947)

The church between Russia and America
Szerző: Diem-Ebersbach Hermann
Megjelent: (1947)

The church and the disorder of international society
Szerző: Van Asbeck Frederik Mari
Megjelent: (1947)

The Mormon Church in the United States
Szerző: Hidjapusztayné Hajóssy Ágnes
Megjelent: (1993)

Összetett rendszerek szimulációja
Szerző: Dombi József Dániel
Megjelent: (2005)

Dinamikus rendszerek vizsgálata
Szerző: Horváth Gyula
Megjelent: (1991)

Gyártási rendszerek optimalizációja
Szerző: Gárdonyi Zsuzsa
Megjelent: (2010)

Többfeladatos felügyelő rendszerek
Szerző: Széplaki Ágnes
Megjelent: (1974)

Szoftver rendszerek hibavizsgálata
Szerző: Both Attila
Megjelent: (2007)

Virtuális értékesítési rendszerek
Szerző: Csiszár Dénes
Megjelent: (2001)

Biztonságos informatikai rendszerek
Szerző: Nagyapáti Csilla
Megjelent: (2002)

Hangvezérlő rendszerek felépítése
Szerző: Szabó Péter
Megjelent: (2002)

"This is how it became Saint Roch church..." church history in the light of written sources /
Szerző: Bara Júlia, et al.
Megjelent: (2016)

Adatbázis kezelő rendszerek
Szerző: Nagy Gabriella
Megjelent: (1979)

Hangoskönyvek felhasználása beszédfelismerő rendszerek fejlesztésében
Szerző: Somossy Gábor
Megjelent: (2009)

A contrastive essay on the differences between the American charismatic churches of Hungary and the Hungarian historical churches
Szerző: Békési László
Megjelent: (2001)