Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 110 Treffer.


Automated Model Building

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 341 Seiten

Erscheinungsdatum: 05.12.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

A Modern Perspective on Type Theory

From its Origins until Today

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 360 Seiten

Erscheinungsdatum: 22.10.2010

139,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

What is Negation?

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Netherland, Auflage 1, 335 Seiten

Erscheinungsdatum: 31.03.1999

213,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

New Essays in Free Logic

In Honour of Karel Lambert

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 255 Seiten

Erscheinungsdatum: 09.12.2010

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Proof Theory of Modal Logic

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 318 Seiten

Erscheinungsdatum: 09.12.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Netherland, Auflage 1, 388 Seiten

Erscheinungsdatum: 30.04.2000

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 602 Seiten

Erscheinungsdatum: 22.11.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer Netherland, Auflage 1, 602 Seiten

Erscheinungsdatum: 04.02.2008

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Frontiers in Belief Revision

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 454 Seiten

Erscheinungsdatum: 15.12.2010

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Proof Theory and Automated Deduction

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 444 Seiten

Erscheinungsdatum: 30.11.2001

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel