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
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
Vardi, Moshe Y. | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 8
/
8
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
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California
Näytä tarkat tiedot
Kirja
Vardi, Moshe Y.
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
1988
Muut tekijät:
“…
Vardi
,
Moshe
Y
.…”
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Näytä tarkat tiedot
Kirja
Peled, Doron
Peled, Doron
Hae tekijöistä
Hae aiheista
Sulje
;
Vardi, Moshe Y.
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
2002
Muut tekijät:
“…
Vardi
,
Moshe
Y
.…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Computer aided verification : 10th international conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, proceedings
Näytä tarkat tiedot
Kirja
Hu, Alan J.
Hu, Alan J.
Hae tekijöistä
Hae aiheista
Sulje
;
Vardi, Moshe Y.
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
1998
Muut tekijät:
“…
Vardi
,
Moshe
Y
.…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
Näytä tarkat tiedot
E-kirja
Vardi, Moshe Y.
,
toimittaja
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2003
Muut tekijät:
“…
Vardi
,
Moshe
Y
., toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
Näytä tarkat tiedot
E-kirja
Hu, Alan J.
,
toimittaja
Hu, Alan J.
Hae tekijöistä
Hae aiheista
Sulje
;
Vardi, Moshe Y.
,
toimittaja
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1998
Muut tekijät:
“…
Vardi
,
Moshe
Y
., toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Database Theory — ICDT '95 : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
Näytä tarkat tiedot
E-kirja
Gottlob, Georg
,
toimittaja
Gottlob, Georg
Hae tekijöistä
Hae aiheista
Sulje
;
Vardi, Moshe Y.
,
toimittaja
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Muut tekijät:
“…
Vardi
,
Moshe
Y
., toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
Näytä tarkat tiedot
E-kirja
Peled, Doron A.
,
toimittaja
Peled, Doron A.
Hae tekijöistä
Hae aiheista
Sulje
;
Vardi, Moshe Y.
,
toimittaja
Vardi, Moshe Y.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Muut tekijät:
“…
Vardi
,
Moshe
Y
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Theoretical aspects of rationality and knowledge : proceedings of the Sixth Conference (TARK 1996) : March 17-20, 1996, De Zeeuwse Stromen, the Netherlands
Näytä tarkat tiedot
Kirja
Shoham, Yoav
,
toimittaja
Shoham, Yoav
Hae tekijöistä
Hae aiheista
Sulje
1996
“…Ramanujam --
Moshe
Y
.
Vardi
-- Ron van der Meyden -- Judea Pearl -- Michele Piccione and Ariel Rubinstein -- Joseph
Y
. …”
Varastokirjasto
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…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API