Del 1

Handbook of Automated Reasoning

Inbunden, Engelska, 2001

Av Alan J.A. Robinson, Andrei Voronkov

7 249 kr

Slutsåld

Produktinformation

  • Utgivningsdatum2001-06-22
  • Mått159 x 241 x undefined mm
  • FormatInbunden
  • SpråkEngelska
  • SerieHandbook of Automated Reasoning
  • Antal sidor2 128
  • FörlagElsevier Science
  • ISBN9780444508133

Du kanske också är intresserad av

European Securities Law

European Securities Law

Raj Panasar, Philip Boeckman, Hogan Lovells LLP) Panasar, Raj (Partner, Partner, Swaine & Moore LLP) Boeckman, Philip (Partner, Partner, Cravath

7 249 kr

Political Handbook of the World 2016-2017

Political Handbook of the World 2016-2017

Tom Lansford, Professor Tom Lansford

7 249 kr

Elsevier's Dictionary of Nuclear Engineering

Elsevier's Dictionary of Nuclear Engineering

M. Rosenberg, S. Bobryakov

7 249 kr

Education in Greek and Roman Antiquity

Education in Greek and Roman Antiquity

Lee Too

7 249 kr

Handbook of Japanese Phonetics and Phonology

Handbook of Japanese Phonetics and Phonology

Haruo Kubozono

7 249 kr

Bundesbaugesetz Und Städtebauförderungsgesetz: Mit Ausführungsvorschriften Des Bundes Einschließlich Baunutzungsverordnung, Hinweis Auf Die Ländervors

Bundesbaugesetz Und Städtebauförderungsgesetz: Mit Ausführungsvorschriften Des Bundes Einschließlich Baunutzungsverordnung, Hinweis Auf Die Ländervors

Sebastian Heitzer, Ernst Oestreicher

7 249 kr

Handbook of Automated Reasoning

Handbook of Automated Reasoning

A. Robinson, A. Voronkov, Alan J.A. Robinson, Andrei Voronkov, USA) Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, UK.) Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, Alan J. a. Robinson

3 139 kr

Wörterbuch des Völkerrechts und der Diplomatie, Band 3, Vasallenstaaten - Zwangsverschickung

Wörterbuch des Völkerrechts und der Diplomatie, Band 3, Vasallenstaaten - Zwangsverschickung

Julius Hatschek, Karl Strupp

7 249 kr

Nobel Lectures In All Subjects (1991-2000) - 10 Years

Nobel Lectures In All Subjects (1991-2000) - 10 Years

(10 YRS)

7 249 kr

KWR Drinking Water Treatment Set

KWR Drinking Water Treatment Set

Wim A. M. Hijnen, Gertjan J. Medema, Patrick W. M. H. Smeets, Jan Vreeburg, Bas Wols

7 249 kr