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
Näytetään
1
- 20
/
2 002
Siirry seuraavalle sivulle
Järjestä
Järjestä
Vuosi (vanhin ensin)
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
GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973
Näytä tarkat tiedot
E-kirja
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1973
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Heuristische Prinzipien und logische Kalküle
Näytä tarkat tiedot
Evrističeskie principy i logičeskie iščislenija
Kirja
Serebrjannikov, O. F.
,
kirjoittaja
Serebrjannikov, O. F.
Hae tekijöistä
Hae aiheista
Sulje
1974
Aiheet:
“…
Mathematical logic
…”
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
L Systems
Näytä tarkat tiedot
E-kirja
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
1974
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975
Näytä tarkat tiedot
E-kirja
Böhm, C.
,
toimittaja
Böhm, C.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1975
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Minimal degrees of unsolvability and the full approximation construction
Näytä tarkat tiedot
E-kirja
Epstein, Richard L.
,
author
,
1947-
Epstein, Richard L.
Hae tekijöistä
Hae aiheista
Sulje
1975
Aiheet:
“…Unsolvability (
Mathematical logic
)…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Minimal degrees of unsolvability and the full approximation construction
Näytä tarkat tiedot
Kirja
Epstein, Richard L.
Epstein, Richard L.
Hae tekijöistä
Hae aiheista
Sulje
1975
Aiheet:
“…Unsolvability (
Mathematical logic
)…”
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Admissible Sets and Structures: An Approach to Definability Theory
Näytä tarkat tiedot
E-kirja
Barwise, Jon
,
author
Barwise, Jon
Hae tekijöistä
Hae aiheista
Sulje
1976
Aiheet:
“…Definability theory (
Mathematical logic
)…”
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
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 9
The Vienna Development Method: The Meta-Language
Näytä tarkat tiedot
E-kirja
Bjørner, Dines
,
toimittaja
Bjørner, Dines
Hae tekijöistä
Hae aiheista
Sulje
;
Jones, Cliff B.
,
toimittaja
Jones, Cliff B.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1978
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Automata, Languages and Programming : Fifth Colloquium, Udine, Italy, July 17–21, 1978
Näytä tarkat tiedot
E-kirja
Ausiello, Giorgio
,
toimittaja
Ausiello, Giorgio
Hae tekijöistä
Hae aiheista
Sulje
;
Böhm, Corrado
,
toimittaja
Böhm, Corrado
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1978
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
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 12
Unsolvable classes of quantificational formulas
Näytä tarkat tiedot
Kirja
Lewis, Harry R.
,
kirjoittaja
Lewis, Harry R.
Hae tekijöistä
Hae aiheista
Sulje
1979
Aiheet:
“…Unsolvability (
Mathematical logic
)…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Grammar and L forms: An introduction
Näytä tarkat tiedot
E-kirja
Wood, Derick
,
toimittaja
Wood, Derick
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Automata, Languages and Programming : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Näytä tarkat tiedot
E-kirja
Bakker, Jaco de
,
toimittaja
Bakker, Jaco de
Hae tekijöistä
Hae aiheista
Sulje
;
Leeuwen, Jan van
,
toimittaja
Leeuwen, Jan van
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Context-free grammars: Covers, normal forms, and parsing
Näytä tarkat tiedot
E-kirja
Nijholt, Anton
,
toimittaja
Nijholt, Anton
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Mathematical Foundations of Computer Science 1980 : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980
Näytä tarkat tiedot
E-kirja
Dembiński, P.
,
toimittaja
Dembiński, P.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Using Sophisticated Models in Resolution Theorem Proving
Näytä tarkat tiedot
E-kirja
Sandford, David M.
,
toimittaja
Sandford, David M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Näytä tarkat tiedot
E-kirja
Bibel, Wolfgang
,
toimittaja
Bibel, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
;
Kowalski, Robert
,
toimittaja
Kowalski, Robert
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1980
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
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
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Decidability and Boolean representations
Näytä tarkat tiedot
E-kirja
Burris, Stanley
,
author
Burris, Stanley
Hae tekijöistä
Hae aiheista
Sulje
;
McKenzie, Ralph
,
author
McKenzie, Ralph
Hae tekijöistä
Hae aiheista
Sulje
1981
Aiheet:
“…Decidability (
Mathematical logic
)…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
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