QR kód

Formální logika v umělé inteligenci /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Lukasová, Alena
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Brno : Computer Press, 2003
Vydání:	1. vyd.
Témata:	umelá inteligencia > poznatok > výrok > formálny jazyk > axióma > predikát > splniteľnosť > klauzula
ISBN:	8025100235
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logika pre každého /
Autor: Gahér, František
Vydáno: (1998)

Principy umělé inteligence /
Autor: Bokr, Josef
Vydáno: (1992)

Logika. Neformální výklad základů formální logiky /
Autor: Jirků, Petr
Vydáno: (1993)

Logika /
Autor: Bek, Roman
Vydáno: (2000)

Metody umělé inteligence v geoinformatice /
Vydáno: (2011)

Možnosti uplatnění poznatků umělé inteligence v automatizovaných informačních systémech řízení : Sborník přednášek /
Autor: Keřkovský, Miloslav
Vydáno: (1989)

Umělá inteligence /
Autor: Zbořil, František
Vydáno: (1990)

Umělá inteligence /
Autor: Mařík, Vladimír
Vydáno: (1988)

Úvod do logiky a teórie vedy /
Autor: Volek, Peter
Vydáno: (1999)

ACM transactions on computational logic
Vydáno: (2000)

Matematičeskaja logika /
Autor: Kleene, Stephen Cole
Vydáno: (2005)

Logika /
Autor: Bek, Roman
Vydáno: (1996)

Jazyky pro umělou inteligenci /
Autor: Kolář, Josef
Vydáno: (1994)

Umělá inteligence. 2. díl /
Autor: Mařík, Vladimír
Vydáno: (2003)

Matematická logika /
Autor: Trlifajová, Kateřina 1959-, a další
Vydáno: (2015)

Matematika 35. Matematická logika /
Autor: Jirásko, Josef
Vydáno: (2000)

Metody umělé inteligence v diagnostice elektrických strojů /
Autor: Hammer, Miloš 1953-
Vydáno: (2009)

Umělá inteligence (expertní systémy) ve VTEI /
Autor: Matoušková, Miroslava
Vydáno: (1988)

Umělá inteligence ve strojírenských výrobních procesech /
Autor: Buda, Ján
Vydáno: (1981)

Umělá inteligence a expertní systémy ve VTEI /
Autor: Šťastná, Zuzana 1975-
Vydáno: (1988)

Umělá inteligence a expertní systémy /
Autor: Gosman, Svatoslav
Vydáno: (1990)

Umělá inteligence /
Autor: Vondrák, Ivo
Vydáno: (1991)

Umělá inteligence a neuronové sítě v aplikacích /
Autor: Bíla, Jiří
Vydáno: (1995)

Jazyk pro umělou inteligenci /
Autor: Kolář, Josef
Vydáno: (1998)

Kybernetické systémy. Umělá inteligence : Doplňkové skriptum /
Autor: Jelínek, Jan
Vydáno: (1984)

Využití metod umělé inteligence ve vodním hospodářství /
Autor: Nacházel, Karel, 1934-, a další
Vydáno: (2004)

Formální logika a sémantický web /
Autor: Lukasová, Alena, 1936-, a další
Vydáno: (2019)

Umělá inteligence. 3. díl /
Autor: Mařík, Vladimír
Vydáno: (2001)

Umělá inteligence v problémech globální optimalizace /
Autor: Zelinka, Ivan, 1965-
Vydáno: (2002)

Nové poznatky v technologickom projektovaní : Zborník prednášok, 29. - 30. 6. 1987 /
Autor: Štefánik, Ján
Vydáno: (1987)

Úvod do logiky pedagogického myslenia /
Autor: Behúnová, Vlasta
Vydáno: (1998)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Technisches Denken und Schlussfolgern. Neun Kapitel einer Philosophie der Technik /
Autor: Tondl, Ladislav 1924-
Vydáno: (2003)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1996)

Umělá inteligence. 4. díl /
Autor: Mařík, Vladimír
Vydáno: (2003)

Umělá inteligence. Hrozba nebo naděje? /
Autor: Zelinka, Ivan 1965-
Vydáno: (2003)

Nové vedeckotechnické poznatky v hutníctve : zborník /
Vydáno: (1987)

Umělá inteligence.
Autor: Mařík, Vladimír 1952-, a další
Vydáno: (2007)

Expertné systémy a umelá inteligencia : zborník, hotel Jednota, Brusno, Československo, 17. - 21. 8. 1987 /
Vydáno: (1987)

OECD science, technology and industry scoreboard. 2003 edition /
Autor: Pilat, Dirk
Vydáno: (2003)