Deduktív tételbizonyítás Lukasiewicz N-értékű logikájában
Elmentve itt :
Szerző: | Kertész Éva |
---|---|
További közreműködők: | Tóth Péter (Témavezető) |
Dokumentumtípus: | Szakdolgozat |
Megjelent: |
1981
|
Tárgyszavak: | |
Online Access: | http://diploma.bibl.u-szeged.hu/4157 |
Hasonló tételek
-
Elsőrendű tételbizonyító Łukasiewicz n-értékű logikájában
Szerző: Huszár Jolán
Megjelent: (1979) -
Automatikus tételbizonyítás
Szerző: Győrbíró Norbert
Megjelent: (2003) -
Interaktív tételbizonyítás
Szerző: Pauló Tamás
Megjelent: (2011) -
Valós értékű FFT algoritmusok vizsgálata
Szerző: Barta Zoltán
Megjelent: (1997) -
Egész értékű lineáris programozási feladat
Szerző: Kovács György
Megjelent: (1982)