Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 111 Treffer.


Metamathematics of Fuzzy Logic

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 299 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 01.12.2013

213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Natural Deduction, Hybrid Systems and Modal Logics

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.

Verlag: Springer Netherland, 492 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.07.2010

234,33 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

A Guide to Classical and Modern Model Theory

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 371 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.09.2012

117,69 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Probabilistic Logic in a Coherent Setting

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 291 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Freedom and Enforcement in Action

A Study in Formal Action Theory

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 261 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.06.2015

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logic for Concurrency and Synchronisation

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 285 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 11.04.2006

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Methods of Cut-Elimination

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Verlag: Springer Netherland, 290 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 07.01.2011

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Algebraic Foundations of Many-Valued Reasoning

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 233 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 09.03.2013

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Truth and Falsehood

An Inquiry into Generalized Logical Values

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity.

Verlag: Springer Netherland, 250 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.09.2011

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Logic, Language and Reasoning

Essays in Honour of Dov Gabbay

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Netherland, 429 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel