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.

Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 05250736
Price: 2646 CZK
Availability: InStock
Author: David Basin
ISBN: 9780792362371

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05250736

Nakladatelství Springer, duben 2000

Labelled deduction is an approach to providing frameworks for presenting and using different logics... Celý popis

Libristo kód: 05250736

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker

Brožovaná

1 178 Kč

Lehrbuch der Experimentalphysik ADOLF W LLNER

Brožovaná

650 Kč

La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins

Brožovaná

464 Kč

Leuchte des Exils Hans Berkessel

Pevná

453 Kč

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

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 Labelled Deduction

Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?

Jazyk

Angličtina

Vazba Kniha - Pevná

Datum vydání 2000

Počet stran 267

EAN 9780792362371

ISBN 0792362373

Libristo kód 05250736

Nakladatelství Springer

Váha 1270

Rozměry 170 x 244 x 20

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 > Umělá inteligence