Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
CHF 223.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Coniglio, Marcelo / Gabbay, Dov M. / Gouveia, Paula / Sernadas, Cristina
- ISBN: 978-90-481-7725-7
- EAN: 9789048177257
- Produktnummer: 10521596
- Verlag: Springer Netherlands
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 620 S.
- Masse: H23.5 cm x B15.5 cm x D3.3 cm 925 g
- Auflage: Softcover reprint of hardcover 1st ed. 2008
- Abbildungen: Paperback
- Gewicht: 925
23 weitere Werke von Walter Carnielli:
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
How to Cut and Paste Reasoning Systems
Ebook (PDF Format)
CHF 200.50
Paraconsistent Logic: Consistency, Contradiction and Negation
How to Cut and Paste Reasoning Systems
How to Cut and Paste Reasoning Systems
Ebook (PDF Format)
CHF 100.50
Contradictions, from Consistency to Inconsistency
How to Cut and Paste Reasoning Systems
How to Cut and Paste Reasoning Systems
Ebook (PDF Format)
CHF 130.00
Model-Based Reasoning in Science and Technology
How to Cut and Paste Reasoning Systems
How to Cut and Paste Reasoning Systems
Ebook (PDF Format)
CHF 258.50
Bewertungen
Anmelden