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
Thayse, André | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 11
/
11
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
P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
Näytä tarkat tiedot
Kirja
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
1984
Saatavuustiedot:
Näytä saatavuustiedot
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Calcul différentiel pour les langues de la logique : théorie et applications
Näytä tarkat tiedot
Kirja
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
2004
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Boolean calculus of differences
Näytä tarkat tiedot
Kirja
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
1981
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
Näytä tarkat tiedot
E-kirja
Thayse, André
,
kirjoittaja
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1984
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Näytä tarkat tiedot
E-kirja
Snyers, Dominique
,
kirjoittaja
Snyers, Dominique
Hae tekijöistä
Hae aiheista
Sulje
;
Thayse, André
,
kirjoittaja
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1987
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Boolean Calculus of Differences
Näytä tarkat tiedot
E-kirja
Thayse, André
,
toimittaja
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1981
Muut tekijät:
“…
Thayse
,
André
, toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
From logic design to logic programming : theorem proving techniques and P-functions
Näytä tarkat tiedot
Kirja
Snyers, Dominique
Snyers, Dominique
Hae tekijöistä
Hae aiheista
Sulje
;
Thayse, Andre
Thayse, Andre
Hae tekijöistä
Hae aiheista
Sulje
1987
Muut tekijät:
“…
Thayse
,
André
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Logique pour le traitement de la langue naturelle : application à la langue française
Näytä tarkat tiedot
Kirja
Delsarte, Philippe
Delsarte, Philippe
Hae tekijöistä
Hae aiheista
Sulje
;
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
2001
Muut tekijät:
“…
Thayse
,
André
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
From standard logic to logic programming : introducing a logic based approach to artificial intelligence
Näytä tarkat tiedot
Kirja
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
;
Gochet, Paul
Gochet, Paul
Hae tekijöistä
Hae aiheista
Sulje
1989
Muut tekijät:
“…
Thayse
,
André
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Discrete and switching functions
Näytä tarkat tiedot
Kirja
Davio, Marc
Davio, Marc
Hae tekijöistä
Hae aiheista
Sulje
;
Deschamps, Jean-Pierre
Deschamps, Jean-Pierre
Hae tekijöistä
Hae aiheista
Sulje
;
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
1978
Muut tekijät:
“…
Thayse
,
André
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
Näytä tarkat tiedot
Kirja
Thayse, André
Thayse, André
Hae tekijöistä
Hae aiheista
Sulje
;
Gochet, Paul
Gochet, Paul
Hae tekijöistä
Hae aiheista
Sulje
;
Delsarte, Philippe
Delsarte, Philippe
Hae tekijöistä
Hae aiheista
Sulje
1989
Muut tekijät:
“…
Thayse
,
André
…”
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