Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Reactive Kripke Semantics

Name: Reactive Kripke Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 13788543
Price: 2357 CZK
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9783662514368

Dov M. Gabbay

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 13788543

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2016

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by cha... Celý popis

Libristo kód: 13788543

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

El juego de la mentira : las grandes potencias, Yugoslavia, la OTAN y las próximas guerras Michel Collon

Brožovaná

572 Kč

Breve historia contemporánea de Ecuador. LARA

Brožovaná

467 Kč

Grande OM. Il suono sacro della meditazione orientale. CD Audio Nirodh Fortini

Brožovaná

287 Kč

Die Tora nach der Übersetzung von Moses Mendelssohn Annette Boeckler

Brožovaná

572 Kč

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Reactive Kripke Semantics

Autor Dov M. Gabbay

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2016

Počet stran 442

EAN 9783662514368

ISBN 3662514362

Libristo kód 13788543

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 6847

Rozměry 155 x 235 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Umělá inteligence