Ergebnisse für: Interactive Theorem Proving

Hier findest Du Bücher, die sich mit Interactive Theorem Proving beschäftigen.

Array
(
    [endpoint] => /products?search=Interactive+Theorem+Proving&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.00145
    [connect_time] => 0.019407
    [responseLength] => 40045
)