Ergebnisse für: Propositional Formula Simplification

Hier findest Du Bücher, die sich mit Propositional Formula Simplification beschäftigen.

Logic-Based Program Synthesis and Transformation

Springer International Publishing
58.84 € · eBook

Synthesis logic-based program development transformation transformational techniques in software engineering applications, tools and industrial practice Logic Programming Propositional Formula Simplification Constrained Horn Clauses Term Matching Type System Predicate Anti-unification Program Semantics Program Transformation Program Synthesis Program Specialization

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and...

Logic-Based Program Synthesis and Transformation

Springer International Publishing
58.84 € · Paperback

Array
(
    [endpoint] => /products?search=Propositional+Formula+Simplification&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001402
    [connect_time] => 0.520467
    [responseLength] => 4550
)