Formal Verification of an Optimizing Compiler.- Challenges in Satisfiability Modulo Theories.- On...

Philosophische Schriften - Band 4 ist ein unveränderter, hochwertiger Nachdruck der Originalausga...

Franz von Baaders sämtliche Werke - Systematisch geordnet ist ein unveränderter, hochwertiger Nac...

This volume contains the papers presented at the 19th International Conference on Automated Deduc...

Franz von Baader's sämtliche Werke ist ein unveränderter, hochwertiger Nachdruck der Originalausg...

CERES in Many-Valued Logics.- A Decomposition Rule for Decision Procedures by Resolution-Based Ca...

This volume contains the contributions to the Joint German Austrian Con- rence on Arti?cial Intel...

Philosophische Schriften - Band 5 ist ein unveränderter, hochwertiger Nachdruck der Originalausga...

La première partie de cet ouvrage présente les enseignements secrets de Martinès de Pasqually, re...

Unveränderter Nachdruck der Originalausgabe von 1860.

Unveränderter Nachdruck der Originalausgabe von 1860.

Unveränderter Nachdruck der Originalausgabe von 1856.