Hoppa till sidans huvudinnehåll

Del 1429

Logic and Computer Science

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

Häftad, Engelska, 1990

AvSteven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov,Piergiorgio Odifreddi

349 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

  • Utgivningsdatum1990-07-17
  • Mått155 x 235 x 10 mm
  • Vikt277 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Mathematics
  • Antal sidor170
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540527343

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Del 1660

Viscosity Solutions and Applications

Martino Bardi, Michael G. Crandall, Lawrence C. Evans, Halil M. Soner, Panagiotis E. Souganidis, Italo Capuzzo Dolcetta, Pierre Lions

Häftad

689 kr

Hoppa över listan

Du kanske också är intresserad av