Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theory and Applications of Satisfiability Testing: 8th International Conference,

Ø 0.0

0 Bewertungen

67,47 €

Solving Over-Constrained Problems with SAT Technology. - A Symbolic Search Based Approach for Quantified Boolean Formulas. - Substitutional Definition of Satisfiability in Classical Propositional Logic.

Jetzt bei Ebay:

ISBN-13:

9783540262763
Book Title:

Theory and Applications of Satisfiability Testing
ISBN:

9783540262763

None:

International Standard : tracked-no signature (7 to 15 business days) 51,12 EUR - Lieferung zwischen 28. July 2025 und 07. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Bolivien , Ecuador , Französisch-Guayana , Guyana , ... und weitere