Learning Search Control Knowledge for Equational Deduction

Häftad, Engelska, 2006

Av Stephan Schulz

459 kr

Slutsåld

Produktinformation

  • Utgivningsdatum2006-01-15
  • FormatHäftad
  • SpråkEngelska
  • Upplaga1
  • FörlagSAGE Publications
  • ISBN9781586031503

Du kanske också är intresserad av

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

eWpG

eWpG

Stephan Schulz, Karl-Alexander Neumann

1 979 kr

Alchemised
  • Nyhet

Alchemised

SenLinYu

349 kr

Automated Reasoning

Automated Reasoning

Didier Galmiche, Stephan Schulz, Roberto Sebastiani

739 kr

Vitön. : Den fristående fortsättningen på Expeditionen

Vitön. : Den fristående fortsättningen på Expeditionen

Bea Uusma

399 kr

Väninnorna på Nordiska Kompaniet
  • Nyhet
Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Qualität und Quantität

Qualität und Quantität

Stephan Schulz

629 kr

Kollektive Entscheidungen in der Aktiengesellschaft

Kollektive Entscheidungen in der Aktiengesellschaft

Stephan Schulz

919 kr

Organisationsformen der Arbeit im Gefängnis

Organisationsformen der Arbeit im Gefängnis

Stephan Schulz

629 kr

Introduction to TTCN-3

Introduction to TTCN-3

Colin Willcock, Thomas Deiß, Stephan Tobies, Stefan Keil, Federico Engler, Stephan Schulz, Colin (Nokia) Willcock, Thomas (Nokia GmbH) Deiß, Stephan (Nokia GmbH) Tobies, Stefan (Nokia GmbH) Keil, Federico (Nokia GmbH) Engler, Stephan (Conformiq) Schulz

1 489 kr