Automatikus tételbizonyítás

QR kód

Automatikus tételbizonyítás

Elmentve itt :

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

Hasonló tételek

Interaktív tételbizonyítás
Szerző: Pauló Tamás
Megjelent: (2011)

Deduktív tételbizonyítás Lukasiewicz N-értékű logikájában
Szerző: Kertész Éva
Megjelent: (1981)

Automatikus videó megfigyelő rendszer
Szerző: Bara Norbert
Megjelent: (2006)

Automatikus tőzsdei értesítő
Szerző: Veszprémi Zoltán
Megjelent: (2003)

Filmek automatikus kategorizálása
Szerző: Szabó Krisztina
Megjelent: (2008)

Automatikus azonosítás
Szerző: Tuska Zoltán
Megjelent: (1995)

Collaboration in software development (Együttműködés a szoftverfejlesztésben)
Szerző: Győrbíró Norbert
Megjelent: (1999)

Globális optimalizálás automatikus differenciálással
Szerző: Szász Gyula
Megjelent: (1998)

Digitális térképek előállítása automatikus interpretációval
Szerző: Hudra György
Megjelent: (1995)

Dokumentumhalmazok automatikus kulcsszavazása és témakövetése
Szerző: Ács Zsombor
Megjelent: (2010)

Automatikus gráfrajzoló algoritmusok
Szerző: Szőke Szabolcs Sándor
Megjelent: (2003)

Automatikus gráfrajzoló algoritmusok
Szerző: Bekes György
Megjelent: (2003)

Automatikus hibakorrekció LALR(1) elemzés mellett
Szerző: Horváth Tamás
Megjelent: (1984)

Automatikus hibakorrekció OLALR/1/ elemzés mellett
Szerző: Horváth Tamás
Megjelent: (1986)

Automatikus hibakorrekció LL(1) elemzés mellett
Szerző: Mészáros Lajos
Megjelent: (1991)

Nyelvi hatókörök automatikus detektálása orvosi szövegekben
Szerző: Németh Orsolya
Megjelent: (2008)

Emberi koponya CT felvételeinek automatikus szegmentálása
Szerző: Utasi Tamás
Megjelent: (2010)

Humán EKG elemzés és automatikus predikció
Szerző: Kishonti Miklós
Megjelent: (2004)

Humán EKG elemzés és automatikus predikció
Szerző: Gombos Ferenc, et al.
Megjelent: (2004)

Automatikus osztályozás alkalmazása mezőgazdasági körzetek kutatásában
Szerző: Vidács Jenő
Megjelent: (1980)

Automatikus osztályozás alkalmazása mezőgazdasági körzetek kutatásában
Szerző: Vidács Jenő
Megjelent: (1980)

Automatikus tesztadat generálás performancia tesztelés támogatására
Szerző: Szőcs Réka
Megjelent: (2013)

Automatikus teszt környezet felállítása elemző program teszteléséhez
Szerző: Romek Krisztián
Megjelent: (2009)

Automatikus verselemzés tanuló algoritmusok alkalmazásával
Szerző: Lesi Zoltán
Megjelent: (2006)

Többváltozós függvények minimumának automatikus megkeresése
Szerző: Kiss Klára
Megjelent: (1964)

Automatikus SPSS házi feladat és megoldás generáló alkalmazás készítése
Szerző: Szűcs Dóra Katalin
Megjelent: (2008)

Automatikus teszteset generálás állapot-diagramok alapján
Szerző: Bomba László
Megjelent: (2002)

Tesztek automatikus generálása állapotgéppel modellezett eszközökhöz
Szerző: Ördög Róbert István
Megjelent: (2004)

Automatikus folyamat irányítási rendszer tervezése és megvalósítása
Szerző: Simon Zoltán
Megjelent: (2003)

UTAS ÚtvonalTervezés Automatikus Segédlettel (Elektronikus menetrend autóbuszokhoz)
Szerző: Lehotai Gábor
Megjelent: (2001)

Csípőprotézis képek automatikus szegmentálása és regisztrálása Java nyelven
Szerző: Katona Zsolt
Megjelent: (2009)

Android felhasználói interfészek automatikus generálása
Szerző: Varga István
Megjelent: (2013)

Automatikus programozás
Szerző: Kalmár László

Automatikus hőmérsékletszabályozó [kép] /
Szerző: Tóth Béla
Megjelent: (1960)

WebHaver Hallgatói Automatikus Vizsgáztató és Ellenőrző Rendszer internetes modul
Szerző: Csöndes Emese
Megjelent: (2006)

Automatikus térkép-interpretáció
Szerző: Katona Endre
Megjelent: (2001)

Capnogrammok automatikus kiértékelése
Szerző: Szekeres István, et al.
Megjelent: (1971)

Májszcintigramok automatikus értékeléséről
Szerző: Csirik János, et al.
Megjelent: (1974)

Automatikus információszerzés gazdasági rövidhírekből
Szerző: Prószéky Gábor
Megjelent: (2003)

Automatikus hibajavítás statikus szövegeken
Szerző: Gulás Máté, et al.
Megjelent: (2021)