Symposium on Automatic Demonstration

Held at Versailles/France, Decembre 1968

Häftad, Engelska, 1970

Av M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger

579 kr

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

Produktinformation

  • Utgivningsdatum1970-01-01
  • Mått155 x 235 x 18 mm
  • Vikt487 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Mathematics
  • Antal sidor310
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540049142

Tillhör följande kategorier