AKTUELLE PARTNERANGEBOTE

A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics

Name: A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics
Brand: Serra Seca Neto, Adolfo Gustavo
SKU: 3609747

Binding : Taschenbuch, Label : Novas Edições Acadêmicas, Publisher : Novas Edições Acadêmicas, medium : Taschenbuch, numberOfPages : 164, publicationDate : 2017-06-27, releaseDate : 2017-06-27, authors : Serra Seca Neto, Adolfo Gustavo, ISBN : 3330763515

1 Angebote · ab 61,92 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

A Multi-Strategy Tableau Prover: Using KE Tableau Systems for Classical and Paraconsistent Propositional Logics

Finde das Produkt,
das wirklich zu dir passt.