Logikai formulák átalakításai

QR kód

Logikai formulák átalakításai

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kuklis Krisztián
További közreműködők:	Dombi József (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1999
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/1766

Hasonló tételek

Logikai formulák
Szerző: Boros Béla
Megjelent: (1998)

Logikai formulák tanulása
Szerző: Palkovics Ferenc
Megjelent: (1997)

Egyes logikai formulák tanulása
Szerző: Szász Péter
Megjelent: (1994)

Logikai formulák tanulása a Tiling algoritmussal
Szerző: Nemes László
Megjelent: (1992)

TEX formulák fordítása Maple nyelvre
Szerző: Bicsák Attila
Megjelent: (1999)

Interpolációs formulák
Szerző: Katona Tünde
Megjelent: (1982)

TEX-formulák konverziója a MAPLE számára
Szerző: Váradi Gergely
Megjelent: (1998)

A Horn formulák és a lineáris programozás
Szerző: Szilágyi Gyöngyi
Megjelent: (1995)

Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése
Szerző: Surányi Tamás
Megjelent: (2018)

Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése
Szerző: Szlavikovics Máté
Megjelent: (2023)

Logikai adatelemzés
Szerző: Farkas Mónika
Megjelent: (2007)

Matematikai formulák beágyazása vektortérbe [absztrakt] /
Szerző: Zombori Zsolt
Megjelent: (2024)

Logikai programok szeletelése
Szerző: Pere László
Megjelent: (2000)

Vázmódosított ösztron származékok átmenetifém-katalizált átalakításai
Szerző: Traj Péter
Megjelent: (2024)

Heterociklusos vegyületek szintézise és kémiai átalakításai
Szerző: Lévai Albert
Megjelent: (2000)

Ösztránvázas oximok átalakításai és hatástani vizsgálata
Szerző: Fischer Gabriella
Megjelent: (2013)

Logikai programok párhuzamos végrehajtása
Szerző: Tóth Márton
Megjelent: (1999)

Felismerhető nyelvek logikai jellemzése
Szerző: Danyi András
Megjelent: (1996)

Logikai programok statikus analízise
Szerző: Harmath László
Megjelent: (1996)

Logikai feladatgyűjtemény középiskolások számára
Szerző: Ott Andrea
Megjelent: (2001)

Aritmetikai és logikai kifejezések kiértékelése
Szerző: Róka Zsuzsanna
Megjelent: (1988)

Trifunkciós 2-amino-tiofén-származékok szintézise és átalakításai
Szerző: Naumann Bert, et al.
Megjelent: (1991)

A 16-formilösztron-3-metil-éter átalakításai fenilhidrazinokkal
Szerző: Naschitz Gabriella
Megjelent: (2014)

N-acil-N,O-acetálok előállítása és átalakításai
Szerző: Rózsár Dániel
Megjelent: (2016)

Következtetési formulák az általános iskolai matematika oktatásban
Szerző: Sáriné Balogh Éva
Megjelent: (1989)

Tudományos nyelvi formulák angol alapszakos szakdolgozatok bevezetőjében
Szerző: Doró Katalin
Megjelent: (2012)

Többértékű logikai függvények optimalizálása fagráfok segítségével
Szerző: Péhl Katalin
Megjelent: (1989)

Programozási nyelvek szemantikájának megadása logikai úton
Szerző: Gombás Éva
Megjelent: (1979)

Logikai táblás játékok Palm OS operációsrendszerre
Szerző: Földi Róbert
Megjelent: (2007)

Logikai táblás játék készítése kézi számítógépre
Szerző: Somlai Judit
Megjelent: (2007)

A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok
Szerző: Gáncs István
Megjelent: (1981)

Az Othello logikai játék számítógépes megvalósítása
Szerző: Hárai Tibor
Megjelent: (2001)

Logikai játék CLEAN funkcionális programozási nyelven
Szerző: Kállai Péter
Megjelent: (2001)

Logikai következtetések és azok kiterjesztése optimalizálással
Szerző: Szarvas György
Megjelent: (2001)

Az amőba logikai játék számítógépes megvalósítása
Szerző: Majer Péter
Megjelent: (1998)

Az AM-TRIS logikai játék elemzése
Szerző: Paulik Attila
Megjelent: (1998)

Segédprogram logikai függvények minimalizálásához és oktatásához
Szerző: Miklósi József
Megjelent: (2000)

Ötös malom logikai játék mobil eszközön
Szerző: Balog Szabolcs
Megjelent: (2011)

Arilszubsztituált transz-2-(amino-metil)-ciklohexanolszármazékok szintézise és átalakításai
Szerző: Szabó Tibor
Megjelent: (1992)

A logikai programozás és a PROLOG nyelv.
Szerző: Möslein Andrea
Megjelent: (1983)