Hoppa till sidans huvudinnehåll

Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Häftad, Engelska, 2008

AvChristoph Benzmueller,Chad E Brown,Joerg Siekmann,Chad E. Brown

389 kr

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

Produktinformation

  • Utgivningsdatum2008-12-01
  • Mått156 x 234 x 24 mm
  • Vikt668 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor480
  • FörlagCollege Publications
  • ISBN9781904987703

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

  • Bokrea

17 juni

Alex Schulman

Inbunden

119 kr329 kr

  • Bokrea
Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr