Formulamanipulációs programok PROLOG nyelven

QR kód

Formulamanipulációs programok PROLOG nyelven

Elmentve itt :

Bibliográfiai részletek
Szerző:	Makra István
További közreműködők:	Balogh Kálmán (Témavezető) Tóth Péter (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1978
Tárgyszavak:	Informatika Computer and information sciences
Online Access:	http://diploma.bibl.u-szeged.hu/3996

Hasonló tételek

Prolog programok tesztelése
Szerző: Kevei Attila
Megjelent: (1993)

PROLOG programok tanulása
Szerző: Harmath László
Megjelent: (1994)

A SPOT játék – logikai játék megvalósítása Prolog programozási nyelven
Szerző: Nagy Gábor
Megjelent: (1998)

Programok viselkedésének empirikus vizsgálata
Szerző: Tóth Judit
Megjelent: (1980)

Java nyelvű programok tesztelése
Szerző: Forgács András
Megjelent: (2007)

Függvényábrázoló oktatóprogram JAVA nyelven
Szerző: Juhász Csilla
Megjelent: (1999)

Sakkfeladványfejtő program PASCAL nyelven
Szerző: Kiszely György
Megjelent: (1988)

Sejtalgoritmusok és szimulálásuk CELLAS nyelven
Szerző: Gidófalvy Tamás
Megjelent: (1982)

Menütervezés és menügenerálás PASCAL nyelven
Szerző: Sipiczki Róbert
Megjelent: (1989)

Rajzgépi rutinok interpretációja C nyelven
Szerző: Kúthy Éva
Megjelent: (1990)

Integrálás Prolog-ban
Szerző: Apró János
Megjelent: (1992)

Prolog Static Slice
Szerző: Juhász Gábor
Megjelent: (2007)

SICStus Prolog Parser
Szerző: Juhász Gábor
Megjelent: (2002)

Célorientált nyelveket definiáló, alkalmazó CHANGE programok.
Szerző: Szikszai Katalin
Megjelent: (1983)

Személyi számítógépes programok a középiskolai oktatásban
Szerző: Nagy Zoltán
Megjelent: (1984)

SNMP menedzser alkalmazás készítése JAVA nyelven
Szerző: Kovács Imre
Megjelent: (2006)

Általános elemző szintaxisa és implementációja CDL2 nyelven
Szerző: Varga István
Megjelent: (1982)

A programhelyesség bizonyításának módszerei VDL programok vertifikálása
Szerző: Krasnyánszki Kálmán
Megjelent: (1976)

Vállalati információs rendszer implementálása FoxPro nyelven
Szerző: Kelemen Ivett
Megjelent: (1995)

Pékség adatnyilvántartó rendszer – adatbázis-kezelés Delphi nyelven
Szerző: Regős Péter
Megjelent: (1998)

Közműdíj-számlázási rendszer megvalósítása Borland C++ nyelven
Szerző: Zsikla Anikó
Megjelent: (2010)

Intervallum-aritmetika és megvalósításai C programozási nyelven
Szerző: Benda Gabriella
Megjelent: (2003)

TMK Ügyviteli Rendszer TPA-1140 számítógépre, Fortran-77 nyelven
Szerző: Tóth István
Megjelent: (1988)

Globális optimalizálás Java nyelven
Szerző: Gasztány Richárd
Megjelent: (2012)

Intranetes alkalmazás fejlesztése PHP és PostgreSQL nyelven
Szerző: Gyuris Péter
Megjelent: (2002)

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

Szabályhalmazok tanulása Prolog-al
Szerző: Török Andrea
Megjelent: (1999)

SIAM tárolási módú adatfile-ok kezelése Pl/I nyelven
Szerző: Bácsa Imre
Megjelent: (1980)

Gépi kódú programok tesztelése és nyomkövetése Commodore 64 mikroszámítógépen
Szerző: Hegyi Gyula
Megjelent: (1986)

Pénztár és raktárkészlet karbantartó program FOXPRO 2.0 nyelven
Szerző: Katona Csaba
Megjelent: (1993)

CHANGE nyelvű programok fordítása INTEL-8080 Assembly-re, CHANGE tesztprogramok
Szerző: Török Zoltán
Megjelent: (1983)

Természetes nyelvi elemzés PROLOG-ban
Szerző: Karpe Catrin
Megjelent: (1989)

A malom játék megvalósítása PROLOG környezetben
Szerző: Dósa István
Megjelent: (1997)

A Man Machine Interface programok megismerése, applikáció készítése az InTouch MMI program segítségével
Szerző: Szabó Csilla
Megjelent: (1996)

PLIOPT (PL/1 Optimizer) forrásnyelvű programok formai szerkesztése (tagolás, tabulálás) a logikai struktúrának megfelelően
Szerző: Molnár Csaba
Megjelent: (1987)

Orvos-informatikai alkalmazás fejlesztése Microsoft Visual Basic nyelven dBASE és Access adatbázisok használatával
Szerző: Tímár László
Megjelent: (2003)

Temelésellenőrzött szarvasmarha állományról származási lapot készítő tenyésztői alrendszer koncepciója PL/I nyelven, R-35 számítógépen
Szerző: Bercsák Márta
Megjelent: (1987)

Éttermi szoftver fejlesztése Java nyelven
Szerző: Lekrinszki Dénes
Megjelent: (2020)

Általános karbantartási terv készítése a Dunai Vasmű számára a PERT hálótervezéses módszerrel ESZR-1020 számítógépre programok írása
Szerző: Bognár Ilona
Megjelent: (1975)

Programok sebezhetőségeinek detektálása statikus forráskódelemzéssel
Szerző: Ságodi Zoltán
Megjelent: (2019)