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
Voronkov, Andrei | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
35
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 1
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1993
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1992
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Logic programming : first Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia,...
Näytä tarkat tiedot
Kirja
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
1992
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Logic programming and automated reasoning : international conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Näytä tarkat tiedot
Kirja
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
1992
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Näytä tarkat tiedot
Kirja
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
1993
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2008
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, Sept...
Näytä tarkat tiedot
E-kirja
Voronkov, A.
,
toimittaja
Voronkov, A.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1992
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Handbook of automated reasoning. Vol. 2
Näytä tarkat tiedot
Kirja
Robinson, Alan
Robinson, Alan
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2001
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Handbook of automated reasoning. Vol. 1
Näytä tarkat tiedot
Kirja
Robinson, Alan
Robinson, Alan
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2001
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 : proceedings
Näytä tarkat tiedot
Kirja
Parigot, Michel
Parigot, Michel
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2000
Muut tekijät:
“…
Voronkov
,
Andrei
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Näytä tarkat tiedot
E-kirja
Nieuwenhuis, Robert
,
toimittaja
Nieuwenhuis, Robert
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
2001
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
Näytä tarkat tiedot
E-kirja
Baaz, Matthias
,
toimittaja
Baaz, Matthias
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
2002
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings
Näytä tarkat tiedot
E-kirja
Parigot, Michel
,
toimittaja
Parigot, Michel
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
2000
Muut tekijät:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
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:
“…
Voronkov
,
Andrei
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Näytä tarkat tiedot
E-kirja
Baader, Franz
,
toimittaja
Baader, Franz
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2005
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Näytä tarkat tiedot
E-kirja
Bjørner, Nikolaj
,
toimittaja
Bjørner, Nikolaj
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2012
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Näytä tarkat tiedot
E-kirja
Virbitskaite, Irina
,
toimittaja
Virbitskaite, Irina
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2007
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Programming Logics Essays in Memory of Harald Ganzinger
Näytä tarkat tiedot
E-kirja
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
;
Weidenbach, Christoph
,
toimittaja
Weidenbach, Christoph
Hae tekijöistä
Hae aiheista
Sulje
2013
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Näytä tarkat tiedot
E-kirja
Hermann, Miki
,
toimittaja
Hermann, Miki
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2006
Muut tekijät:
“…
Voronkov
,
Andrei
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
1
2
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