Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Many-Valued Logics 2

Name: Many-Valued Logics 2
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653428
Price: 48.72 EUR
Availability: InStock
Author: Leonard Bolc
ISBN: 9783642084171

Automated Reasoning and Practical Applications

Leonard Bolc

Piotr Borowik

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01653428

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2010

Many-valued logics are becoming increasingly important in all areas of computer science. This is the... Celoten opis

Koda Libristo: 01653428

118 b

48.72 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Analyse strukturierter Finanzprodukte als Instrument der Kapitalanlage Daniel Weng

Mehka

40.14 €

JIGOKURAKU 7 KAKU

Knjiga

8.16 €

UNA GENERACION ENTRE DOS MUNDOS PINTO TORTOSA

Knjiga

30.96 €

Revolusi Andreas Ecke

Trda

29.05 €

Interkultureller Unterricht Thomas Geier

Mehka

40.04 €

Der Kaiser Baut Furs Volk Paul Zanker

Mehka

50.03 €

Konec zlobení Zuzana Pospíšilová

Trda

7.46 €

Der Halbmarathon-Mann Rolf Bläsing

Mehka

14.52 €

Slunce spravedlnosti / Sonne der Gerechtigkeit Jana Maroszová

Mehka

6.35 €

Der Igel in der Weihnachtskrippe und andere Tiergeschichten. Bd.1 Jürgen Kleindienst

Trda

9.37 €

CHI-INNOVATION LIGHT UP THE WI Zhiyue Gu

Mehka

29.65 €

Geschichte der Stadt Pressburg THEODOR ORTVAY

Mehka

26.83 €

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.Many-valued logics are becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to such logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.