VLB Suche

Das ist ein E-Book

Autor

Herausgegeben von Enrico Giunchiglia, Herausgegeben von Armando Tacchella

Titel

Theory and Applications of Satisfiability Testing

Untertitel

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

24.02.2004

ISBN/EAN

978-3-540-24605-3

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

53,49 €

Autor

Frederick E. Petry

Titel

Fuzzy Databases

Untertitel

Principles and Applications

Beschreibung

mehr

Verlag

Springer US

Erscheinungsdatum

28.09.2011

ISBN/EAN

978-1-4612-8566-3

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

106,99 €

In den Warenkorb legen

Autor

Chongfu Huang, Yong Shi

Titel

Towards Efficient Fuzzy Information Processing

Untertitel

Using the Principle of Information Diffusion

Beschreibung

mehr

Verlag

Physica

Erscheinungsdatum

21.10.2010

ISBN/EAN

978-3-7908-2511-4

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

106,99 €

In den Warenkorb legen

Autor

Raj Spielmann

Titel

Wahrscheinlichkeitsrechnung und Statistik

Untertitel

Mathematische Anwendungen in Natur und Gesellschaft

Beschreibung

Wie zuverlässig sind DNA-Tests und wann lässt sich eine Unschuldsvermutung vor Gericht mathematisch untermauern? Warum ist Glücksspiel im Casino als systematische Einnahmequelle ungeeignet? Welch ...mehr

Verlag

De Gruyter

Erscheinungsdatum

10.10.2017

ISBN/EAN

978-3-11-054252-3

Format

Einband - fest (Hardcover)

Status

lieferbar

Preis

119,95 €

In den Warenkorb legen

Das ist ein E-Book

Autor

Herausgegeben von Georg Gottlob, Herausgegeben von Alexander Leitsch, Herausgegeben von Daniele Mundici

Titel

Computational Logic and Proof Theory

Untertitel

5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Beschreibung

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revise ...mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

11.04.2006

ISBN/EAN

978-3-540-69806-7

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

85,59 €

Das ist ein E-Book

Autor

Valeriy K. Zakharov, Timofey V. Rodionov

Titel

Sets, Functions, Measures / Fundamentals of Set and Number Theory

Beschreibung

This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functi ...mehr

Verlag

De Gruyter

Erscheinungsdatum

05.02.2018

ISBN/EAN

978-3-11-055021-4

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

154,95 €

Autor

Dirk van Dalen

Titel

Logic and Structure

Beschreibung

mehr

Verlag

Springer London

Erscheinungsdatum

13.11.2012

ISBN/EAN

978-1-4471-4557-8

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

74,89 €

In den Warenkorb legen

Das ist ein E-Book

Autor

Ewa Orlowska, Joanna Golińska Pilarek

Titel

Dual Tableaux: Foundations, Methodology, Case Studies

Beschreibung

This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionisti ...mehr

Verlag

Springer Netherland

Erscheinungsdatum

07.01.2012

ISBN/EAN

978-94-007-0005-5

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

149,79 €

Das ist ein E-Book

Autor

Herausgegeben von Klaus Ambos-Spies, Herausgegeben von Gert H. Müller, Herausgegeben von Gerald E. Sacks

Titel

Recursion Theory Week

Untertitel

Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Beschreibung

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this ...mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

14.11.2006

ISBN/EAN

978-3-540-47142-4

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

36,99 €

Autor

Răzvan Diaconescu

Titel

Institution-independent Model Theory

Beschreibung

mehr

Verlag

Springer International Publishing

Erscheinungsdatum

26.11.2024

ISBN/EAN

978-3-031-68853-9

Format

Einband - fest (Hardcover)

Status

nicht lieferbar

Preis

192,59 €