Notes on the limits to knowledge explored with Darwinian logic /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Laxenburg :
International Institute for Applied Systems Analysis,
1998
|
| Vydání: | Reprint. |
| Edice: | Research report-98-9
|
| Témata: | |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Dobráci od přírody /
Autor: Waal, F. B. M. de. (Frans B. M.) 1948-
Vydáno: (2006)
Autor: Waal, F. B. M. de. (Frans B. M.) 1948-
Vydáno: (2006)
The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)
Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)
Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
Autor: Burdman Feferman, Anita
Vydáno: (1987)
Autor: Burdman Feferman, Anita
Vydáno: (1987)
ACM transactions on computational logic
Vydáno: (2000)
Vydáno: (2000)
Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)
Autor: Das, Subrata Kumar
Vydáno: (1992)
Vvedenije v matematičeskuju logiku.
Autor: Church, Alonzo
Vydáno: (1960)
Autor: Church, Alonzo
Vydáno: (1960)
Vvedenije v matematičeskuju logiku /
Autor: Mendelson, Elliott
Vydáno: (1971)
Autor: Mendelson, Elliott
Vydáno: (1971)
Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
Autor: Drábek, Jaroslav
Vydáno: (1986)
Autor: Drábek, Jaroslav
Vydáno: (1986)
Zaujímavá logika /
Autor: Bizám, György
Vydáno: (1982)
Autor: Bizám, György
Vydáno: (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-
Vydáno: (1988)
Autor: Odvárko, Oldřich 1938-
Vydáno: (1988)
Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydáno: (2002)
Autor: Petrovič, Pavol
Vydáno: (2002)
Digital logic : basic theory and practice /
Autor: Smith, J. H.
Vydáno: (1971)
Autor: Smith, J. H.
Vydáno: (1971)
Metoda GUHA /
Autor: Hájek, Petr 1955-
Vydáno: (1977)
Autor: Hájek, Petr 1955-
Vydáno: (1977)
Zeitschrift für mathematische Logik u. Grundlagen der Mathematik
Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
Autor: Smockij, E. D.
Vydáno: (1972)
Autor: Smockij, E. D.
Vydáno: (1972)
Sbírka úloh z elementární aritmetiky s pokyny k řešení /
Autor: Bělík, Miroslav
Vydáno: (1990)
Autor: Bělík, Miroslav
Vydáno: (1990)
Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)
Autor: Melham, Thomas F.
Vydáno: (1993)
Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Vydáno: (1977)
Vydáno: (1977)
Readings in knowledge representation /
Autor: Hayes, Patrick J.
Vydáno: (1985)
Autor: Hayes, Patrick J.
Vydáno: (1985)
Matematika pro zájemce o studium na vysokých školách technických /
Autor: Hyánková, Miluše
Vydáno: (1997)
Autor: Hyánková, Miluše
Vydáno: (1997)
Logické systémy /
Autor: Eysselt, Miloš
Vydáno: (1982)
Autor: Eysselt, Miloš
Vydáno: (1982)
Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách /
Autor: Včelař, František 1962-, a další
Vydáno: (2009)
Autor: Včelař, František 1962-, a další
Vydáno: (2009)
Úvod do logiky. Filozofická propedeutika pre bakalárske štúdium /
Autor: Veverka, Lukáč Ján
Vydáno: (1999)
Autor: Veverka, Lukáč Ján
Vydáno: (1999)
Orthomodular structures as quantum logics /
Autor: Pták, Pavel 1947-
Vydáno: (1991)
Autor: Pták, Pavel 1947-
Vydáno: (1991)
ACM computing surveys : the survey and tutorial journal of the ACM
Vydáno: (1971)
Vydáno: (1971)
Logika pro všechny ochotné myslet /
Autor: Sochor, Antonín 1942-
Vydáno: (2011)
Autor: Sochor, Antonín 1942-
Vydáno: (2011)
A resolution method for some systems of modal logic /
Autor: Sommerhalder, Rudolf
Vydáno: (1992)
Autor: Sommerhalder, Rudolf
Vydáno: (1992)
Darwinian Evolution of Molecules Physical and Earth-Historical Perspective of the Origin of Life /
Autor: Nakazawa, Hiromoto
Vydáno: (2018)
Autor: Nakazawa, Hiromoto
Vydáno: (2018)
Matematické, fyzikálne a chemické tabuľky : pre SŠ a nižšie ročníky viacročných gymnázií /
Autor: Kotlík, Bohumír
Vydáno: (2009)
Autor: Kotlík, Bohumír
Vydáno: (2009)
Cvičení z matematické analýzy /
Autor: Šiňajová, Edita
Vydáno: (1994)
Autor: Šiňajová, Edita
Vydáno: (1994)
Diferenciálny počet /
Autor: Fulier, Jozef 1951-
Vydáno: (1997)
Autor: Fulier, Jozef 1951-
Vydáno: (1997)
Matematika. I. díl. Část první. Algebra a geometrie /
Autor: Nedoma, Josef
Vydáno: (2000)
Autor: Nedoma, Josef
Vydáno: (2000)
Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydáno: (2004)
Autor: Mezník, Ivan 1942-
Vydáno: (2004)
Didaktika matematiky : jak učit matematiku zajímavě a užitečně /
Autor: Polák, Josef 1936-
Vydáno: (2014)
Autor: Polák, Josef 1936-
Vydáno: (2014)
Logic for problem solving /
Autor: Kowalski, Robert, 1941-
Vydáno: (1979)
Autor: Kowalski, Robert, 1941-
Vydáno: (1979)
Quantum logic spectroscopy of atomic and molecular ions /
Autor: Wan, Yong 1983-
Vydáno: (2014)
Autor: Wan, Yong 1983-
Vydáno: (2014)
Cvičení z matematické analýzy /
Autor: Pelantová, Edita 1959-
Vydáno: (1998)
Autor: Pelantová, Edita 1959-
Vydáno: (1998)
Matematika /
Autor: Huťka, Vladimír 1936-
Vydáno: (1991)
Autor: Huťka, Vladimír 1936-
Vydáno: (1991)
Teoretické základy informatiky /
Autor: Vaníček, Jiří 1937-
Vydáno: (2007)
Autor: Vaníček, Jiří 1937-
Vydáno: (2007)