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 and Formal Languages." | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Siirry edelliselle sivulle
Näytetään
81
- 100
/
1 869
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 81
Term Indexing
Näytä tarkat tiedot
E-kirja
Graf, Peter
,
toimittaja
Graf, Peter
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 82
Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
Näytä tarkat tiedot
E-kirja
Alferes, Jóse Júlio
,
toimittaja
Alferes, Jóse Júlio
Hae tekijöistä
Hae aiheista
Sulje
;
Leite, João
,
toimittaja
Leite, João
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 83
Automata, Languages and Programming : Eighth Colloquium Acre (Akko), Israel July 13–17, 1981
Näytä tarkat tiedot
E-kirja
Even, Shimon
,
toimittaja
Even, Shimon
Hae tekijöistä
Hae aiheista
Sulje
;
Kariv, Oded
,
toimittaja
Kariv, Oded
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1981
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 84
Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings
Näytä tarkat tiedot
E-kirja
Brewka, Gerhard
,
toimittaja
Brewka, Gerhard
Hae tekijöistä
Hae aiheista
Sulje
;
Jantke, Klaus P.
,
toimittaja
Jantke, Klaus P.
Hae tekijöistä
Hae aiheista
Sulje
;
Schmitt, Peter H.
,
toimittaja
Schmitt, Peter H.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 85
Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
Näytä tarkat tiedot
E-kirja
Jorrand, Philippe
,
toimittaja
Jorrand, Philippe
Hae tekijöistä
Hae aiheista
Sulje
;
Kelemen, Jozef
,
toimittaja
Kelemen, Jozef
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1991
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 86
Resolution Methods for the Decision Problem
Näytä tarkat tiedot
E-kirja
Fermüller, C.
,
toimittaja
Fermüller, C.
Hae tekijöistä
Hae aiheista
Sulje
;
Leitsch, A.
,
toimittaja
Leitsch, A.
Hae tekijöistä
Hae aiheista
Sulje
;
Tammet, T.
,
toimittaja
Tammet, T.
Hae tekijöistä
Hae aiheista
Sulje
;
Zamov, N.
,
toimittaja
Zamov, N.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 87
Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und...
Näytä tarkat tiedot
E-kirja
Börger, E.
,
toimittaja
Börger, E.
Hae tekijöistä
Hae aiheista
Sulje
;
Hasenjaeger, G.
,
toimittaja
Hasenjaeger, G.
Hae tekijöistä
Hae aiheista
Sulje
;
Rödding, D.
,
toimittaja
Rödding, D.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1984
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 88
Challenges for Action Theories
Näytä tarkat tiedot
E-kirja
Thielscher, Michael
,
kirjoittaja
Thielscher, Michael
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 89
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 90
Rewriting Techniques and Applications : Bordeaux, France, May 25–27, 1987 Proceedings
Näytä tarkat tiedot
E-kirja
Lescanne, Pierre
,
toimittaja
Lescanne, Pierre
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1987
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 91
Tractable Reasoning in Artificial Intelligence
Näytä tarkat tiedot
E-kirja
Cadoli, Marco
,
kirjoittaja
Cadoli, Marco
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 92
A Proof Theory for Description Logics
Näytä tarkat tiedot
E-kirja
Rademaker, Alexandre
,
kirjoittaja
Rademaker, Alexandre
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 93
Current Topics in Artificial Intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 200...
Näytä tarkat tiedot
E-kirja
Conejo, Ricardo
,
toimittaja
Conejo, Ricardo
Hae tekijöistä
Hae aiheista
Sulje
;
Urretavizcaya, Maite
,
toimittaja
Urretavizcaya, Maite
Hae tekijöistä
Hae aiheista
Sulje
;
Pérez-de-la-Cruz, José-Luis
,
toimittaja
Pérez-de-la-Cruz, José-Luis
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 94
Coevolutionary Fuzzy Modeling
Näytä tarkat tiedot
E-kirja
Peña Reyes, Carlos Andrés
,
kirjoittaja
Peña Reyes, Carlos Andrés
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 95
AI 2001: Advances in Artificial Intelligence : 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings
Näytä tarkat tiedot
E-kirja
Stumptner, Markus
,
toimittaja
Stumptner, Markus
Hae tekijöistä
Hae aiheista
Sulje
;
Corbett, Dan
,
toimittaja
Corbett, Dan
Hae tekijöistä
Hae aiheista
Sulje
;
Brooks, Mike
,
toimittaja
Brooks, Mike
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2001
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 96
Learning Classifier Systems : From Foundations to Applications
Näytä tarkat tiedot
E-kirja
Lanzi, Pier Luca
,
toimittaja
Lanzi, Pier Luca
Hae tekijöistä
Hae aiheista
Sulje
;
Stolzmann, Wolfgang
,
toimittaja
Stolzmann, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
;
Wilson, Stewart W.
,
toimittaja
Wilson, Stewart W.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 97
Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings
Näytä tarkat tiedot
E-kirja
Pitt, David H.
,
toimittaja
Pitt, David H.
Hae tekijöistä
Hae aiheista
Sulje
;
Poigné, Axel
,
toimittaja
Poigné, Axel
Hae tekijöistä
Hae aiheista
Sulje
;
Rydeheard, David E.
,
toimittaja
Rydeheard, David E.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1987
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 98
Computational Learning Theory : Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings
Näytä tarkat tiedot
E-kirja
Ben-David, Shai
,
toimittaja
Ben-David, Shai
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1997
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 99
Formal Hardware Verification : Methods and Systems in Comparison
Näytä tarkat tiedot
E-kirja
Kropf, Thomas
,
toimittaja
Kropf, Thomas
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1997
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 100
Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
Näytä tarkat tiedot
E-kirja
Ehrig, Hartmut
,
toimittaja
Ehrig, Hartmut
Hae tekijöistä
Hae aiheista
Sulje
;
Nagl, Manfred
,
toimittaja
Nagl, Manfred
Hae tekijöistä
Hae aiheista
Sulje
;
Rozenberg, Grzegorz
,
toimittaja
Rozenberg, Grzegorz
Hae tekijöistä
Hae aiheista
Sulje
;
Rosenfeld, Azriel
,
toimittaja
Rosenfeld, Azriel
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1987
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
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…
3
4
5
6
7
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API