Automatisiertes Denken mit analytischen Tableaus und verwandten Methoden: 28. Interna...
80,96 €
The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.
Jetzt bei Ebay:
