Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic and Computer Science

Name: Logic and Computer Science
Brand: Springer, Berlin
SKU: 01565309
Price: 26.01 EUR
Availability: InStock
Author: Steven Homer
ISBN: 9783540527343

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565309

Nakladateľstvo Springer, Berlin, november 2007

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Celý popis

Libristo kód: 01565309

63 b

26.01 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann

Brožovaná

8.29 €

VOYAGE Daniele Steel

Brožovaná

12.55 €

Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина

Pevná

33.00 €

El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas

Adobe ePub DRM

3.84 €

Saint Grégoire de Nazianze Alain Durel

Brožovaná

13.66 €

Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner

Brožovaná

35.74 €

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.