bokomslag Automated Reasoning and Its Applications
Data & IT

Automated Reasoning and Its Applications

Robert Veroff

Klotband

139:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 257 sidor
  • 1997
  • Författare: Robert Veroff
  • Format: Klotband
  • ISBN: 9780262220552
  • Språk: Engelska
  • Antal sidor: 257
  • Utgivningsdatum: 1997-07-01
  • Förlag: MIT Press Ltd