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
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
de Queiroz, Ruy | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 19
/
19
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 1
The functional interpretation of logical deduction
Näytä tarkat tiedot
E-kirja
Queiroz, Ruy J. G. B. de
Queiroz, Ruy J. G. B. de
Hae tekijöistä
Hae aiheista
Sulje
;
Oliveira, Anjolina G. de
Oliveira, Anjolina G. de
Hae tekijöistä
Hae aiheista
Sulje
;
Gabbay, Dov M.
,
1945-
Gabbay, Dov M.
Hae tekijöistä
Hae aiheista
Sulje
2012
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Digital content and cloud-based contracts in Brazil and the European Union
Näytä tarkat tiedot
Artikkeli
de Castro, Clarice Marinho Martins
de Castro, Clarice Marinho Martins
Hae tekijöistä
Hae aiheista
Sulje
;
Reed, Chris
Reed, Chris
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2016
Muut tekijät:
“…
Queiroz
,
Ruy
de
…”
Tekijänoikeuden erikoiskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Logic for concurrency and synchronisation
Näytä tarkat tiedot
Kirja
Queiroz, Ruy J. G. B. de
Queiroz, Ruy J. G. B. de
Hae tekijöistä
Hae aiheista
Sulje
2003
Muut tekijät:
“…
Queiroz
,
Ruy
J. G. B.
de
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Model theory
Näytä tarkat tiedot
Kirja
Manzano, María
Manzano, María
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy J. G. B. de
Queiroz, Ruy J. G. B. de
Hae tekijöistä
Hae aiheista
Sulje
1999
Muut tekijät:
“…
Queiroz
,
Ruy
J. G. B.
de
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Näytä tarkat tiedot
E-kirja
Hodges, Wilfrid
,
toimittaja
Hodges, Wilfrid
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2008
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Näytä tarkat tiedot
E-kirja
Leivant, Daniel
,
toimittaja
Leivant, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2007
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Näytä tarkat tiedot
E-kirja
Dawar, Anuj
,
toimittaja
Dawar, Anuj
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2010
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Näytä tarkat tiedot
E-kirja
Ong, Luke
,
toimittaja
Ong, Luke
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2012
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Näytä tarkat tiedot
E-kirja
Beklemishev, Lev D.
,
toimittaja
Beklemishev, Lev D.
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2011
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
Näytä tarkat tiedot
Kirja
Leivant, Daniel
Leivant, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy J. G. B. de
Queiroz, Ruy J. G. B. de
Hae tekijöistä
Hae aiheista
Sulje
2007
Muut tekijät:
“…
Queiroz
,
Ruy
J. G. B.
de
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Complexity Thresholds in Inclusion Logic
Näytä tarkat tiedot
Teksti
Hannula, Miika
Hannula, Miika
Hae tekijöistä
Hae aiheista
Sulje
;
Hella, Lauri
Hella, Lauri
Hae tekijöistä
Hae aiheista
Sulje
;
Iemhoff, Rosalie
Iemhoff, Rosalie
Hae tekijöistä
Hae aiheista
Sulje
;
Moortgat, Michael
Moortgat, Michael
Hae tekijöistä
Hae aiheista
Sulje
;
de Queiroz, Ruy
de Queiroz, Ruy
Hae tekijöistä
Hae aiheista
Sulje
;
Tampere University
Tampere University
Hae tekijöistä
Hae aiheista
Sulje
2019
Muut tekijät:
Tampereen yliopisto - Trepo
Verkossa saatavilla:
https://trepo.tuni.fi//handle/10024/116418
www.urn.fi/URN:NBN:fi:tuni-201908152912
https://trepo.tuni.fi/bitstrea...lds_2019.pdf
(Tampereen yliopisto - Trepo)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Näytä tarkat tiedot
E-kirja
Libkin, Leonid.
,
toimittaja
Libkin, Leonid.
Hae tekijöistä
Hae aiheista
Sulje
;
Kohlenbach, Ulrich
,
toimittaja
Kohlenbach, Ulrich
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2013
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Näytä tarkat tiedot
E-kirja
Kohlenbach, Ulrich
,
toimittaja
Kohlenbach, Ulrich
Hae tekijöistä
Hae aiheista
Sulje
;
Barceló, Pablo
,
toimittaja
Barceló, Pablo
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2014
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Näytä tarkat tiedot
E-kirja
Ono, Hiroakira
,
toimittaja
Ono, Hiroakira
Hae tekijöistä
Hae aiheista
Sulje
;
Kanazawa, Makoto
,
toimittaja
Kanazawa, Makoto
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy de
,
toimittaja
Queiroz, Ruy de
Hae tekijöistä
Hae aiheista
Sulje
2009
Muut tekijät:
“…
Queiroz
,
Ruy
de
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Näytä tarkat tiedot
E-kirja
Väänänen, Jouko
,
toimittaja
Väänänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
;
Hirvonen, Åsa
,
toimittaja
Hirvonen, Åsa
Hae tekijöistä
Hae aiheista
Sulje
;
de Queiroz, Ruy
,
toimittaja
de Queiroz, Ruy
Hae tekijöistä
Hae aiheista
Sulje
2016
Muut tekijät:
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Näytä tarkat tiedot
E-kirja
Kennedy, Juliette
,
toimittaja
Kennedy, Juliette
Hae tekijöistä
Hae aiheista
Sulje
;
de Queiroz, Ruy J.G.B
,
toimittaja
de Queiroz, Ruy J.G.B
Hae tekijöistä
Hae aiheista
Sulje
2017
Muut tekijät:
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Näytä tarkat tiedot
E-kirja
Moss, Lawrence S.
,
toimittaja
Moss, Lawrence S.
Hae tekijöistä
Hae aiheista
Sulje
;
de Queiroz, Ruy
,
toimittaja
de Queiroz, Ruy
Hae tekijöistä
Hae aiheista
Sulje
;
Martinez, Maricarmen
,
toimittaja
Martinez, Maricarmen
Hae tekijöistä
Hae aiheista
Sulje
2018
Muut tekijät:
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
Näytä tarkat tiedot
Kirja
Libkin, Leonid
,
toimittaja
Libkin, Leonid
Hae tekijöistä
Hae aiheista
Sulje
;
Kohlenbach, U.
,
toimittaja
Kohlenbach, U.
Hae tekijöistä
Hae aiheista
Sulje
;
Queiroz, Ruy J. G. B. de
,
toimittaja
Queiroz, Ruy J. G. B. de
Hae tekijöistä
Hae aiheista
Sulje
2013
Muut tekijät:
“…
Queiroz
,
Ruy
J. G. B.
de
, toimittaja…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Näytä tarkat tiedot
E-kirja
de Paiva, Valeria
,
toimittaja
de Paiva, Valeria
Hae tekijöistä
Hae aiheista
Sulje
;
de Queiroz, Ruy
,
toimittaja
de Queiroz, Ruy
Hae tekijöistä
Hae aiheista
Sulje
;
Moss, Lawrence S.
,
toimittaja
Moss, Lawrence S.
Hae tekijöistä
Hae aiheista
Sulje
;
Leivant, Daniel
,
toimittaja
Leivant, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
de Oliveira, Anjolina G.
,
toimittaja
de Oliveira, Anjolina G.
Hae tekijöistä
Hae aiheista
Sulje
2015
Muut tekijät:
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…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API