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

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Frank Pfenning | Akateeminen Kirjakauppa

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



Types in Logic Programming
TYPES IN LOGIC PROGRAMMING
Frank Pfenning
MIT Press (1992)
Pehmeäkantinen kirja
32,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types in Logic Programming
TYPES IN LOGIC PROGRAMMING
Frank Pfenning
MIT Press (1992)
Kovakantinen kirja
58,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Term Rewriting and Applications - 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
TERM REWRITING AND APPLICATIONS - 17TH INTERNATIONAL CONFERENCE, RTA 2006, SEATTLE, WA, USA, AUGUST 12-14, 2006, PROCEEDINGS
Frank Pfenning
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceed
AUTOMATED DEDUCTION - CADE-21 - 21ST INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, BREMEN, GERMANY, JULY 17-20, 2007, PROCEED
Frank Pfenning
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedin
LOGIC PROGRAMMING AND AUTOMATED REASONING : 5TH INTERNATIONAL CONFERENCE, LPAR '94, KIEV, UKRAINE, JULY 16 - 22, 1994. PROCEEDIN
Frank Pfenning (ed.)
Springer (1994)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Generative Programming and Component Engineering - Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25,
GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING - SECOND INTERNATIONAL CONFERENCE, GPCE 2003, ERFURT, GERMANY, SEPTEMBER 22-25,
Frank Pfenning; Yannis Smaragdakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the Eu
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES - 16TH INTERNATIONAL CONFERENCE, FOSSACS 2013, HELD AS PART OF THE EU
Frank Pfenning
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Kontinuiteaten Im Naturschutz
KONTINUITEATEN IM NATURSCHUTZ
Nils Franke; Uwe Pfenning
Nomos Verlagsgesellschaft (2014)
Pehmeäkantinen kirja
92,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computation and Deduction
COMPUTATION AND DEDUCTION
Pfenning; Frank (Carnegie Mellon University; Pennsylvania)
Camb.U.P. (2016)
Kovakantinen kirja
99,80 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types in Logic Programming
Frank Pfenning
32,00 €
MIT Press
Sivumäärä: 380 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1992, 12.06.1992 (lisätietoa)
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Types in Logic Programming
Näytä kaikki tuotetiedot
ISBN:
9780262519939
Aihealue:
Ulkomaiset kirjat » Computers » Computer Science
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