Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Aihe
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
"Mathematical logic." | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Siirry edelliselle sivulle
Näytetään
61
- 80
/
2 002
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 61
Teoria algebrica dei meccanismi automatici
Näytä tarkat tiedot
E-kirja
Righi, R.
,
toimittaja
Righi, R.
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 62
Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland September 19–23, 1977
Näytä tarkat tiedot
E-kirja
Karpiński, Marek
,
toimittaja
Karpiński, Marek
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1977
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 63
Turing Machines with Sublogarithmic Space
Näytä tarkat tiedot
E-kirja
Szepietowski, Andrzej
,
toimittaja
Szepietowski, Andrzej
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 64
Aspects of Molecular Computing : Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday
Näytä tarkat tiedot
E-kirja
Jonoska, Nataša
,
toimittaja
Jonoska, Nataša
Hae tekijöistä
Hae aiheista
Sulje
;
Păun, Gheorghe
,
toimittaja
Păun, Gheorghe
Hae tekijöistä
Hae aiheista
Sulje
;
Rozenberg, Grzegorz
,
toimittaja
Rozenberg, Grzegorz
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 65
Mathematical Logic
Näytä tarkat tiedot
E-kirja
Ebbinghaus, Heinz-Dieter
,
aut, http://id.loc.gov/vocabulary/relators/aut
,
1939-
Ebbinghaus, Heinz-Dieter
Hae tekijöistä
Hae aiheista
Sulje
;
Flum, J.
,
aut, http://id.loc.gov/vocabulary/relators/aut
Flum, J.
Hae tekijöistä
Hae aiheista
Sulje
;
Thomas, Wolfgang
,
aut, http://id.loc.gov/vocabulary/relators/aut
Thomas, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
Mathematical logic
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 66
The Argument of Mathematics
Näytä tarkat tiedot
E-kirja
Aberdein, Andrew
,
toimittaja
Aberdein, Andrew
Hae tekijöistä
Hae aiheista
Sulje
;
Dove, Ian J.
,
toimittaja
Dove, Ian J.
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 67
Automated Deduction—CADE-11 : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings
Näytä tarkat tiedot
E-kirja
Kapur, Deepak
,
toimittaja
Kapur, Deepak
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1992
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 68
Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
Näytä tarkat tiedot
E-kirja
Bundy, Alan
,
toimittaja
Bundy, Alan
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 69
The Logical Writings of Karl Popper
Näytä tarkat tiedot
E-kirja
Binder, David
Binder, David
Hae tekijöistä
Hae aiheista
Sulje
;
Piecha, Thomas
Piecha, Thomas
Hae tekijöistä
Hae aiheista
Sulje
;
Schroeder-Heister, Peter
Schroeder-Heister, Peter
Hae tekijöistä
Hae aiheista
Sulje
2022
Aiheet:
“…
Mathematical logic
…”
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 70
Mathematical Foundations of Computer Science 1984 : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984
Näytä tarkat tiedot
E-kirja
Chytil, M. P.
,
toimittaja
Chytil, M. P.
Hae tekijöistä
Hae aiheista
Sulje
;
Koubek, V.
,
toimittaja
Koubek, V.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1984
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 71
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Näytä tarkat tiedot
E-kirja
Geldsetzer, Lutz
,
kirjoittaja
Geldsetzer, Lutz
Hae tekijöistä
Hae aiheista
Sulje
;
Schwartz, Richard L.
,
kirjoittaja
Schwartz, Richard L.
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 72
Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
Näytä tarkat tiedot
E-kirja
McRobbie, M. A.
,
toimittaja
McRobbie, M. A.
Hae tekijöistä
Hae aiheista
Sulje
;
Slaney, J. K.
,
toimittaja
Slaney, J. K.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1996
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 73
Truth and Falsehood An Inquiry into Generalized Logical Values
Näytä tarkat tiedot
E-kirja
Shramko, Yaroslav
,
kirjoittaja
Shramko, Yaroslav
Hae tekijöistä
Hae aiheista
Sulje
;
Wansing, Heinrich
,
kirjoittaja
Wansing, Heinrich
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 74
Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
Näytä tarkat tiedot
E-kirja
Dix, Jürgen
,
toimittaja
Dix, Jürgen
Hae tekijöistä
Hae aiheista
Sulje
;
Cerro, Luís Fariñas del
,
toimittaja
Cerro, Luís Fariñas del
Hae tekijöistä
Hae aiheista
Sulje
;
Furbach, Ulrich
,
toimittaja
Furbach, Ulrich
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 75
Probability Logics Probability-Based Formalization of Uncertain Reasoning
Näytä tarkat tiedot
E-kirja
Ognjanović, Zoran
,
kirjoittaja
Ognjanović, Zoran
Hae tekijöistä
Hae aiheista
Sulje
;
Rašković, Miodrag
,
kirjoittaja
Rašković, Miodrag
Hae tekijöistä
Hae aiheista
Sulje
;
Marković, Zoran
,
kirjoittaja
Marković, Zoran
Hae tekijöistä
Hae aiheista
Sulje
2016
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 76
Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
Näytä tarkat tiedot
E-kirja
Mycielski, Jan
,
toimittaja
Mycielski, Jan
Hae tekijöistä
Hae aiheista
Sulje
;
Rozenberg, Grzegorz
,
toimittaja
Rozenberg, Grzegorz
Hae tekijöistä
Hae aiheista
Sulje
;
Salomaa, Arto
,
toimittaja
Salomaa, Arto
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1997
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 77
Computing with Words Principal Concepts and Ideas
Näytä tarkat tiedot
E-kirja
Zadeh, Lotfi A.
,
kirjoittaja
Zadeh, Lotfi A.
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 78
Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
Näytä tarkat tiedot
E-kirja
Fisher, Michael
,
toimittaja
Fisher, Michael
Hae tekijöistä
Hae aiheista
Sulje
;
Owens, Richard
,
toimittaja
Owens, Richard
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 79
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
Näytä tarkat tiedot
E-kirja
Melham, Thomas F.
,
toimittaja
Melham, Thomas F.
Hae tekijöistä
Hae aiheista
Sulje
;
Camilleri, Juanito
,
toimittaja
Camilleri, Juanito
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 80
Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop Nagoya, Japan, November 14–15, 1995 Selected Papers
Näytä tarkat tiedot
E-kirja
Furuhashi, Takeshi
,
toimittaja
Furuhashi, Takeshi
Hae tekijöistä
Hae aiheista
Sulje
;
Uchikawa, Yoshiki
,
toimittaja
Uchikawa, Yoshiki
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1996
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
2
3
4
5
6
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API