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?
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
Näytetään
1
- 20
/
1 869
Siirry seuraavalle sivulle
Järjestä
Järjestä
Luokka
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 1
Computer science : theory and applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011, proceedings
Näytä tarkat tiedot
Kirja
Kulikov, Alexander
Kulikov, Alexander
Hae tekijöistä
Hae aiheista
Sulje
;
Vereshchagin, Nikolay
Vereshchagin, Nikolay
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Practical MATLAB Modeling with Simulink Programming and Simulating Ordinary and Partial Differential Equations
Näytä tarkat tiedot
E-kirja
Eshkabilov, Sulaymon L.
,
aut, http://id.loc.gov/vocabulary/relators/aut
Eshkabilov, Sulaymon L.
Hae tekijöistä
Hae aiheista
Sulje
2020
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Introduction to automata theory, languages and computation
Näytä tarkat tiedot
Kirja
Hopcroft, John E.
Hopcroft, John E.
Hae tekijöistä
Hae aiheista
Sulje
;
Ullman, Jeffrey D.
Ullman, Jeffrey D.
Hae tekijöistä
Hae aiheista
Sulje
1979
Aiheet:
“…
mathematical logic and formal languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Helmet-kirjastot
Itä-Suomen yliopisto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Näytä tarkat tiedot
E-kirja
O’Regan, Gerard
,
aut, http://id.loc.gov/vocabulary/relators/aut
O’Regan, Gerard
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
dx.doi.org/10.1007/978-1-4471-4534-9
(Jyväskylän yliopisto - Jykdok)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Formal Languages and Compilation
Näytä tarkat tiedot
E-kirja
Crespi Reghizzi, Stefano
,
aut, http://id.loc.gov/vocabulary/relators/aut
Crespi Reghizzi, Stefano
Hae tekijöistä
Hae aiheista
Sulje
;
Breveglieri, Luca
,
aut, http://id.loc.gov/vocabulary/relators/aut
Breveglieri, Luca
Hae tekijöistä
Hae aiheista
Sulje
;
Morzenti, Angelo
,
aut, http://id.loc.gov/vocabulary/relators/aut
Morzenti, Angelo
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
dx.doi.org/10.1007/978-1-4471-5514-0
(Jyväskylän yliopisto - Jykdok)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Concise computer mathematics : tutorials on theory and problems
Näytä tarkat tiedot
E-kirja
Bagdasar, Ovidiu
,
aut, http://id.loc.gov/vocabulary/relators/aut
Bagdasar, Ovidiu
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
dx.doi.org/10.1007/978-3-319-01751-8
(Jyväskylän yliopisto - Jykdok)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Näytä tarkat tiedot
E-kirja
Chockler, Hana
,
toimittaja
Chockler, Hana
Hae tekijöistä
Hae aiheista
Sulje
;
Weissenbacher, Georg
,
toimittaja
Weissenbacher, Georg
Hae tekijöistä
Hae aiheista
Sulje
2018
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
SpringerLink Open Access eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Näytä tarkat tiedot
E-kirja
Chockler, Hana
,
toimittaja
Chockler, Hana
Hae tekijöistä
Hae aiheista
Sulje
;
Weissenbacher, Georg
,
toimittaja
Weissenbacher, Georg
Hae tekijöistä
Hae aiheista
Sulje
2018
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
SpringerLink Open Access eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
The Everyday Life of an Algorithm
Näytä tarkat tiedot
E-kirja
Neyland, Daniel
,
kirjoittaja
Neyland, Daniel
Hae tekijöistä
Hae aiheista
Sulje
2019
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Satakunnan ammattikorkeakoulu
Lataa…
Verkossa saatavilla:
SpringerLink Open Access eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
The Amazing Journey of Reason from DNA to Artificial Intelligence
Näytä tarkat tiedot
Elektroninen
Alemi, Mario
,
aut, http://id.loc.gov/vocabulary/relators/aut
Alemi, Mario
Hae tekijöistä
Hae aiheista
Sulje
2020
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Logic Programming and Knowledge Representation : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
Näytä tarkat tiedot
E-kirja
Dix, Jürgen
,
toimittaja
Dix, Jürgen
Hae tekijöistä
Hae aiheista
Sulje
;
Pereira, Luís Moniz
,
toimittaja
Pereira, Luís Moniz
Hae tekijöistä
Hae aiheista
Sulje
;
Przymusinski, Teodor C.
,
toimittaja
Przymusinski, Teodor C.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Näytä tarkat tiedot
E-kirja
Calmet, Jacques
,
toimittaja
Calmet, Jacques
Hae tekijöistä
Hae aiheista
Sulje
;
Plaza, Jan
,
toimittaja
Plaza, Jan
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
Näytä tarkat tiedot
E-kirja
Boiten, Eerke A.
,
toimittaja
Boiten, Eerke A.
Hae tekijöistä
Hae aiheista
Sulje
;
Möller, Bernhard
,
toimittaja
Möller, Bernhard
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Compiler Construction : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April...
Näytä tarkat tiedot
E-kirja
Horspool, R. Nigel
,
toimittaja
Horspool, R. Nigel
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002...
Näytä tarkat tiedot
E-kirja
Métayer, Daniel Le
,
toimittaja
Métayer, Daniel Le
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Näytä tarkat tiedot
E-kirja
Backhouse, Roland
,
toimittaja
Backhouse, Roland
Hae tekijöistä
Hae aiheista
Sulje
;
Crole, Roy
,
toimittaja
Crole, Roy
Hae tekijöistä
Hae aiheista
Sulje
;
Gibbons, Jeremy
,
toimittaja
Gibbons, Jeremy
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Non-Standard Inferences in Description Logics
Näytä tarkat tiedot
E-kirja
Küsters, Ralf
,
toimittaja
Küsters, Ralf
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 18
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...
Näytä tarkat tiedot
E-kirja
Väänänen, Jouko
,
toimittaja
Väänänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1999
Aiheet:
“…
Mathematical Logic and Formal Languages
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Logic Based Program Synthesis and Transformation : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Bruynooghe, Maurice
,
toimittaja
Bruynooghe, Maurice
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 20
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
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…
1
2
3
4
5
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API