Metoda GUHA /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | Czech |
| Vydavateľské údaje: |
České Budějovice :
Dům techniky ČSVTS,
1977
|
| Predmet: | |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
Metoda GUHA : general unary hypotheses automation /
Autor: Hájek, Petr
Vydavateľské údaje: (1976)
Autor: Hájek, Petr
Vydavateľské údaje: (1976)
Metoda Guha. Automatická tvorba hypotéz /
Autor: Hájek, Petr 1955-
Vydavateľské údaje: (1983)
Autor: Hájek, Petr 1955-
Vydavateľské údaje: (1983)
Logické systémy /
Autor: Eysselt, Miloš
Vydavateľské údaje: (1982)
Autor: Eysselt, Miloš
Vydavateľské údaje: (1982)
Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydavateľské údaje: (1968)
Autor: Dymáček, Michael, 1943-
Vydavateľské údaje: (1968)
Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
Autor: Drábek, Jaroslav
Vydavateľské údaje: (1986)
Autor: Drábek, Jaroslav
Vydavateľské údaje: (1986)
Zaujímavá logika /
Autor: Bizám, György
Vydavateľské údaje: (1982)
Autor: Bizám, György
Vydavateľské údaje: (1982)
Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
Autor: Odvárko, Oldřich 1938-
Vydavateľské údaje: (1988)
Autor: Odvárko, Oldřich 1938-
Vydavateľské údaje: (1988)
Vvedenije v matematičeskuju logiku.
Autor: Church, Alonzo
Vydavateľské údaje: (1960)
Autor: Church, Alonzo
Vydavateľské údaje: (1960)
Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydavateľské údaje: (2002)
Autor: Petrovič, Pavol
Vydavateľské údaje: (2002)
Vvedenije v matematičeskuju logiku /
Autor: Mendelson, Elliott
Vydavateľské údaje: (1971)
Autor: Mendelson, Elliott
Vydavateľské údaje: (1971)
Logické siete : Návody na cvičenia /
Autor: Gubiš, Peter
Vydavateľské údaje: (1986)
Autor: Gubiš, Peter
Vydavateľské údaje: (1986)
Teória automatického riadenia. 2. diel. Optimálne a adaptívne systémy /
Autor: Samovský, Ján
Vydavateľské údaje: (1983)
Autor: Samovský, Ján
Vydavateľské údaje: (1983)
Identification and system parameter estimation. Vol. 1 : Proceedings of the 5th IFAC Symp., Darmstadt, 24 - 28 Sept. 1979 /
Autor: Eykhoff, P.
Vydavateľské údaje: (1980)
Autor: Eykhoff, P.
Vydavateľské údaje: (1980)
Identification and system parameter estimation. Vol. 2 : Proceedings of the 5th IFAC Symp., Darmstadt, 24 - 28 Sept. 1979 /
Autor: Eykhoff, P.
Vydavateľské údaje: (1980)
Autor: Eykhoff, P.
Vydavateľské údaje: (1980)
Mathematics and computers in simulation
Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydavateľské údaje: (1998)
Autor: Marchetti, Cesare
Vydavateľské údaje: (1998)
Zeitschrift für mathematische Logik u. Grundlagen der Mathematik
Algebraische Codierungstheorie : Theorie der sequentiellen Codierungen /
Autor: Lindner, Rolf, 1937-1979, a ďalší
Vydavateľské údaje: (1977)
Autor: Lindner, Rolf, 1937-1979, a ďalší
Vydavateľské údaje: (1977)
Theory and decision : an international journal for methods a. models in the social a. dec. soc.
Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
Autor: Smockij, E. D.
Vydavateľské údaje: (1972)
Autor: Smockij, E. D.
Vydavateľské údaje: (1972)
Sbírka úloh z elementární aritmetiky s pokyny k řešení /
Autor: Bělík, Miroslav
Vydavateľské údaje: (1990)
Autor: Bělík, Miroslav
Vydavateľské údaje: (1990)
Diskrétní tekutinové řídicí systémy /
Autor: Volčík, Jaroslav
Vydavateľské údaje: (1985)
Autor: Volčík, Jaroslav
Vydavateľské údaje: (1985)
Analýza a syntéza strojárskych objektov a procesov /
Autor: Békés, Ján
Vydavateľské údaje: (1986)
Autor: Békés, Ján
Vydavateľské údaje: (1986)
Logické siete /
Autor: Gubiš, Peter
Vydavateľské údaje: (1985)
Autor: Gubiš, Peter
Vydavateľské údaje: (1985)
Kybernetika. 2. diel : Zbierka príkladov pre poslucháčov CHTF /
Autor: Komorníková, Magda
Vydavateľské údaje: (1986)
Autor: Komorníková, Magda
Vydavateľské údaje: (1986)
Algebraičeskije osnovy teorii diskretnych sistem /
Autor: Bogomolov, Anatolij Michajlovič
Vydavateľské údaje: (1997)
Autor: Bogomolov, Anatolij Michajlovič
Vydavateľské údaje: (1997)
Inženerno-matematičeskije metody v fizike i kibernetike : sbornik statej
Vydavateľské údaje: (1971)
Vydavateľské údaje: (1971)
Artificial intelligence /
Autor: Hunt, Earl B., 1933-2016
Vydavateľské údaje: (1975)
Autor: Hunt, Earl B., 1933-2016
Vydavateľské údaje: (1975)
International journal of computer mathematics
Umelé neurónové siete v automatickom riadení. Testovanie neuromodelov a návrh predkompenzovaných riadiacich štruktúr /
Autor: Popardovský, Vladimír
Vydavateľské údaje: (1999)
Autor: Popardovský, Vladimír
Vydavateľské údaje: (1999)
Matematika pro zájemce o studium na vysokých školách technických /
Autor: Hyánková, Miluše
Vydavateľské údaje: (1997)
Autor: Hyánková, Miluše
Vydavateľské údaje: (1997)
Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách /
Autor: Včelař, František 1962-, a ďalší
Vydavateľské údaje: (2009)
Autor: Včelař, František 1962-, a ďalší
Vydavateľské údaje: (2009)
Úvod do logiky. Filozofická propedeutika pre bakalárske štúdium /
Autor: Veverka, Lukáč Ján
Vydavateľské údaje: (1999)
Autor: Veverka, Lukáč Ján
Vydavateľské údaje: (1999)
Modely a metódy ekonomickej kybernetiky. /
Autor: Bagrinovskij, Kirill Andrejevič, 1931-
Vydavateľské údaje: (1979)
Autor: Bagrinovskij, Kirill Andrejevič, 1931-
Vydavateľské údaje: (1979)
Teorie automatů a systémů /
Autor: Kudláček, Václav 1928-
Vydavateľské údaje: (1982)
Autor: Kudláček, Václav 1928-
Vydavateľské údaje: (1982)
Kybernetické systémy. Umělá inteligence : Doplňkové skriptum /
Autor: Jelínek, Jan
Vydavateľské údaje: (1984)
Autor: Jelínek, Jan
Vydavateľské údaje: (1984)