COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Prezzi da
11,65

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Shop
Prezzo
Amazon Logo
11,65 €
Vai allo shop
Amazon Marketplace Logo
11,65 €
Vai allo shop
Descrizione (0)

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798173696885

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

12,46 €
Confronta 2 negozi 2 negozi

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

11,56 €
Confronta 2 negozi 2 negozi

Morgan & Claypool

Declarative Logic Programming: Theory, Systems, and Applications

90,49 €
Più informazioni Maggiori info

Independently Published

CONSTRAINT BASED PROGRAMMING MODELS: Declarative Problem Solving Rule Systems and Optimization Logic

12,42 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
11,65 €
Vai allo shop