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
21
- 40
/
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 21
Automata on Infinite Words : Ecole de Printemps d'Informatique Théorique Le Mont Dore, May 14–18, 1984
Näytä tarkat tiedot
E-kirja
Nivat, M.
,
toimittaja
Nivat, M.
Hae tekijöistä
Hae aiheista
Sulje
;
Perrin, D.
,
toimittaja
Perrin, D.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1985
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 22
EUROCAL '85 : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions
Näytä tarkat tiedot
E-kirja
Caviness, Bob F.
,
toimittaja
Caviness, Bob F.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1985
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 23
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 24
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
…”
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 25
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings
Näytä tarkat tiedot
E-kirja
Kaplan, S.
,
toimittaja
Kaplan, S.
Hae tekijöistä
Hae aiheista
Sulje
;
Jouannaud, J. -P
,
toimittaja
Jouannaud, J. -P
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1988
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 26
Sheaves in Geometry and Logic A First Introduction to Topos Theory
Näytä tarkat tiedot
E-kirja
MacLane, Saunders
,
aut, http://id.loc.gov/vocabulary/relators/aut
MacLane, Saunders
Hae tekijöistä
Hae aiheista
Sulje
;
Moerdijk, Ieke
,
aut, http://id.loc.gov/vocabulary/relators/aut
Moerdijk, Ieke
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 27
EUROCAL '85 : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 1: Invited Lectures
Näytä tarkat tiedot
E-kirja
Buchberger, Bruno
,
toimittaja
Buchberger, Bruno
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1985
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 28
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 29
Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
Näytä tarkat tiedot
E-kirja
Comon, Hubert
,
toimittaja
Comon, Hubert
Hae tekijöistä
Hae aiheista
Sulje
;
Jounnaud, Jean-Pierre
,
toimittaja
Jounnaud, Jean-Pierre
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 30
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 31
Automata Networks : LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings
Näytä tarkat tiedot
E-kirja
Choffrut, C.
,
toimittaja
Choffrut, C.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1988
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 32
6th Conference on Automated Deduction : New York, USA, June 7–9, 1982
Näytä tarkat tiedot
E-kirja
Loveland, D. W.
,
toimittaja
Loveland, D. W.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1982
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 33
Mathematics and the Mind An Introduction into Ibn Sīnā’s Theory of Knowledge
Näytä tarkat tiedot
E-kirja
Tahiri, Hassan
,
aut, http://id.loc.gov/vocabulary/relators/aut
Tahiri, Hassan
Hae tekijöistä
Hae aiheista
Sulje
2016
Aiheet:
“…
Mathematical logic
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 34
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
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 35
Inquisitive Logic Consequence and Inference in the Realm of Questions
Näytä tarkat tiedot
E-kirja
Ciardelli, Ivano
,
aut, http://id.loc.gov/vocabulary/relators/aut
Ciardelli, Ivano
Hae tekijöistä
Hae aiheista
Sulje
2022
Aiheet:
“…
Mathematical logic
…”
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 36
Frontiers of Combining Systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings
Näytä tarkat tiedot
E-kirja
Kirchner, Hélène
,
toimittaja
Kirchner, Hélène
Hae tekijöistä
Hae aiheista
Sulje
;
Ringeissen, Christophe
,
toimittaja
Ringeissen, Christophe
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 37
8th International Conference on Automated Deduction : Oxford, England, July 27–August 1, 1986 Proceedings
Näytä tarkat tiedot
E-kirja
Siekmann, Jörg H.
,
toimittaja
Siekmann, Jörg H.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1986
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 38
An introduction to non-classical logic : from if to is
Näytä tarkat tiedot
E-kirja
Priest, Graham
,
author
Priest, Graham
Hae tekijöistä
Hae aiheista
Sulje
2008
Aiheet:
“…Nonclassical
mathematical logic
…”
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 39
First-Order Logic and Automated Theorem Proving
Näytä tarkat tiedot
E-kirja
Fitting, Melvin
,
aut, http://id.loc.gov/vocabulary/relators/aut
Fitting, Melvin
Hae tekijöistä
Hae aiheista
Sulje
1996
Aiheet:
“…
Mathematical logic
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 40
Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
Näytä tarkat tiedot
E-kirja
Bläsius, Karl Hans
,
toimittaja
Bläsius, Karl Hans
Hae tekijöistä
Hae aiheista
Sulje
;
Hedtstück, Ulrich
,
toimittaja
Hedtstück, Ulrich
Hae tekijöistä
Hae aiheista
Sulje
;
Rollinger, Claus-Rainer
,
toimittaja
Rollinger, Claus-Rainer
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1990
Aiheet:
“…
Mathematical logic
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
1
2
3
4
5
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…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API