Ergebnisse für: deductive computational framework

Hier findest Du Bücher, die sich mit deductive computational framework beschäftigen.

Buch Cover Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura
Springer International Publishing
48.14 € · eBook

First-Order Logic Natural Deduction Predicate and Propositional Logic deductive computational framework sequent calculus algebraic functions

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists...

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura
Springer International Publishing
48.14 € · Paperback

First-Order Logic Natural Deduction Predicate and Propositional Logic deductive computational framework sequent calculus algebraic functions

Array
(
    [endpoint] => /products?search=deductive+computational+framework&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.001204
    [connect_time] => 0.51961
    [responseLength] => 3711
)