Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Logic and Computer Science - Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at
26,20 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 170 sivua
Asu: Pehmeäkantinen kirja
Painos: 1990 ed.
Julkaisuvuosi: 1990, 17.07.1990 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Mathematics 1429
The courses given at the 1st CIME 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 and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.

Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Logic and Computer Science - Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held atSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783540527343
Kansikuva tuotteelle