SULJE VALIKKO

Aloita uusi vuosi uusilla tarinoilla
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Balder ten Cate | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Generating Plans from Proofs
GENERATING PLANS FROM PROOFS
Benedikt Michael Benedikt; Leblay Julien Leblay; Cate Balder ten Cate
Springer Nature B.V. (2016)
Pehmeäkantinen kirja
117,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
WEB REASONING AND RULE SYSTEMS - 9TH INTERNATIONAL CONFERENCE, RR 2015, BERLIN, GERMANY, AUGUST 4-5, 2015, PROCEEDINGS.
Balder ten Cate; Alessandra Mileo
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
41,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, Sep
LOGIC, LANGUAGE, AND COMPUTATION - 6TH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE, AND COMPUTATION. BATUMI, GEORGIA, SEP
Balder D. ten Cate; Henk W. Zeevat
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
GENERATING PLANS FROM PROOFS: THE INTERPOLATION-BASED APPROACH TO QUERY REFORMULATION
Michael Benedikt; Julien Leblay; Balder Ten Cate
MORGAN&CLAYPOOL (2016)
Pehmeäkantinen kirja
100,30 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Generating Plans from Proofs
GENERATING PLANS FROM PROOFS
Michael Benedikt; Julien Leblay; Balder ten Cate; Efthymia Tsamoura
Springer (2016)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Generating Plans from Proofs
Benedikt Michael Benedikt, Leblay Julien Leblay, Cate Balder ten Cate
117,50 €
Springer Nature B.V.
Sivumäärä: 208 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2016, 15.03.2016 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Generating Plans from Proofs
Näytä kaikki tuotetiedot
ISBN:
9783031029844
Aihealue:
Ulkomaiset kirjat
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste