QR Code

Logika /

Show other versions (2)

Saved in:

Bibliographic Details
Main Author:	Bek, Roman
Format:	Book
Language:	Czech
Published:	Praha : České vysoké učení technické v Praze, 1996
Edition:	1. vyd.
Subjects:	myslenie > prirodzený jazyk > formálny jazyk > predikátovo-logická báza > matematika
ISBN:	8001014770
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logika /
by: Bek, Roman
Published: (2000)

Logická analýza přirozeného jazyka /
by: Materna, Pavel
Published: (1989)

Teorie přirozeného jazyka : Interdisciplinarita, aplikace, prognózy /
by: Kořenský, Jan
Published: (1989)

Formální logika v umělé inteligenci /
by: Lukasová, Alena
Published: (2003)

Jazyky a překlady /
by: Melichar, Bořivoj 1942-
Published: (1996)

MPU. Příručka pro uživatele /
by: Vavříková, Jiřina
Published: (1986)

Informačné jazyky vo faktografických bázach dát /
by: Cigánik, Marek
Published: (1986)

MySQL : polnoje i isčerpyvajuščeje rukovodstvo po primeneniju i administrirovaniju baz dannych MySQL 4, a takže programmirovaniju priloženij /
by: DuBois, Paul 1956-
Published: (2004)

Codes and cryptography /
by: Welsh, Dominic
Published: (1995)

Diskrétní matematika /
by: Mezník, Ivan 1942-
Published: (2004)

Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)

ACM transactions on computational logic
Published: (2000)

Absolute logics /
by: Akkanen, Jyrki
Published: (1995)

Automata theory with modern applications /
by: Anderson, James A., et al.
Published: (2006)

Úvod do logiky a metodológie myslenia /
by: Greguš, Peter
Published: (2001)

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

Computer science and technologies. 1982 /
by: Ishii, Osamu
Published: (1982)

Enciklopedija programmirovanija na personaľnom kompjutere /
by: Jakušev, Dmitrij Michajlovič
Published: (2004)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
by: Blum, Manuel
Published: (1993)

Digitale Systeme. Grundlagen /
by: Wunsch, Gerhard
Published: (1993)

Právne myslenie a logika /
by: Knapp, Viktor
Published: (1989)

Tablicy naturaľnych logarifmov.
by: Bark, L. S.
Published: (1971)

Advances in artificial intelligence. Vol. II : 7th European conf., Brighton, U. K., July 20 - 25, 1986 /
by: Boswell, Robin
Published: (1987)

Modelovanie a riadenie diskrétnych udalostných dynamických systémov s využitím Petriho sietí a iných nástrojov /
by: Hrúz, Branislav
Published: (2003)

Algebraic and structural automata theory /
by: Beyga, Lech
Published: (1991)

Umelá inteligencia /
by: Csontó, Július
Published: (1991)

Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /
by: Doldi, L.
Published: (1993)

Discrete mathematics. A unified approach /
by: Wiitala, Stephen A.
Published: (1987)

Dynamika ekosystémov Štiavnických vrchov : zhodnotenie z pohľadu zmien využitia krajiny, štruktúry vybraných zoocenóz a stability lesných ekosystémov /
by: Kunca, Vladimír
Published: (2005)

Jazyk : matrica alebo plášť? /
by: Čulenová, Eva
Published: (2012)

Systém mikro CDS/ISIS. Verzia 3.0. Príručka používateľa /
by: Janíčková, Elena
Published: (1993)

Database management and design /
by: Hansen, Gary William
Published: (1992)

Artificial intelligence. Vol. II. Methodology, systems, applications : Proceedings of the 2nd internat. conf., Varna, Bulgaria, 16 - 19 Sept., 1986 /
by: Sgurev, V.
Published: (1987)

Důkazy beze slov.
by: Nelsen, Roger B. 1942-
Published: (2012)

Research topics in functional programming /
by: Turner, David A.
Published: (1990)

Logika /
by: Bek, Roman
Published: (2001)

Matematická logika /
by: Čulík, K.
Published: (1973)

Jazyky a překlady. Cvičení /
by: Melichar, Bořivoj 1942-
Published: (2004)

Výpočetní systémy FoxBase /
by: Novotná, Helena
Published: (1994)

WinBase602. Příručka uživatele /
by: Lapáček, Jiří 1956-
Published: (1994)