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
Kleine Büning, H. | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 12
/
12
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
PROLOG : Grundlagen und Anwendungen
Näytä tarkat tiedot
Kirja
Kleine Büning, Hans
Kleine Büning, Hans
Hae tekijöistä
Hae aiheista
Sulje
;
Schmitgen, Stefan
Schmitgen, Stefan
Hae tekijöistä
Hae aiheista
Sulje
1986
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Näytä tarkat tiedot
E-kirja
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1996
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Näytä tarkat tiedot
E-kirja
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Hae tekijöistä
Hae aiheista
Sulje
;
Zhao, Xishun
,
toimittaja
Zhao, Xishun
Hae tekijöistä
Hae aiheista
Sulje
2008
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
CSL '88 : 2nd Workshop on computer science logic Duisburg, FRG, October 3-7, 1988 : proceedings
Näytä tarkat tiedot
Kirja
Börger, Egon
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Büning, Hans Kleine
Büning, Hans Kleine
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
1989
Saatavuustiedot:
Näytä saatavuustiedot
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
CSL '87 : 1st Workshop on computer science logic Karlsruhe, FRG, October 12-16, 1987 : proceedings
Näytä tarkat tiedot
Kirja
Börger, Egon
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Büning, Hans Kleine
Büning, Hans Kleine
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
1988
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Näytä tarkat tiedot
Kirja
Börger, Egon
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
1990
Saatavuustiedot:
Näytä saatavuustiedot
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
Näytä tarkat tiedot
E-kirja
Börger, Egon
,
toimittaja
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Büning, Hans Kleine
,
toimittaja
Büning, Hans Kleine
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1990
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Näytä tarkat tiedot
E-kirja
Börger, Egon
,
toimittaja
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Büning, Hans Kleine
,
toimittaja
Büning, Hans Kleine
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1989
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Näytä tarkat tiedot
E-kirja
Börger, Egon
,
toimittaja
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Büning, Hans Kleine
,
toimittaja
Büning, Hans Kleine
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1988
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Näytä tarkat tiedot
E-kirja
Börger, Egon
,
toimittaja
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
;
Schönfeld, Wolfgang
,
toimittaja
Schönfeld, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1991
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Näytä tarkat tiedot
E-kirja
Börger, Egon
,
toimittaja
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
;
Jäger, Gerhard
,
toimittaja
Jäger, Gerhard
Hae tekijöistä
Hae aiheista
Sulje
;
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1992
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Näytä tarkat tiedot
E-kirja
Börger, E.
,
toimittaja
Börger, E.
Hae tekijöistä
Hae aiheista
Sulje
;
Jäger, G.
,
toimittaja
Jäger, G.
Hae tekijöistä
Hae aiheista
Sulje
;
Kleine Büning, H.
,
toimittaja
Kleine Büning, H.
Hae tekijöistä
Hae aiheista
Sulje
;
Martini, S.
,
toimittaja
Martini, S.
Hae tekijöistä
Hae aiheista
Sulje
;
Richter, M. M.
,
toimittaja
Richter, M. M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1993
Muut tekijät:
“…
Kleine
Büning
,
H
., toimittaja…”
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