KIRJAUDU
Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ
Ed Homer | Akateeminen Kirjakauppa
| Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at 25,40 € Springer Sivumäärä: 170 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 1990, 17.07.1990 (lisätietoa) Kieli: Englanti Tuotesarja: C.I.M.E. Foundation Subseries The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
 Näytä kaikki tuotetiedotISBN: 9783540527343 Aihealue: |
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |