Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Labelled Deduction

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05250736

Nakladateľstvo Springer, apríl 2000

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

Libristo kód: 05250736

265 b

109.45 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker

Brožovaná

51.73 €

Toeplitz Centennial ohberg

Brožovaná

48.39 €

Lehrbuch der Experimentalphysik ADOLF W LLNER

Brožovaná

28.55 €

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

Brožovaná

19.23 €

Leuchte des Exils Hans Berkessel

Pevná

18.72 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Labelled Deduction

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

Jazyk

Angličtina

Väzba Kniha - Pevná

Dátum vydania 2000

Počet strán 267

EAN 9780792362371

ISBN 0792362373

Libristo kód 05250736

Nakladateľstvo Springer

Váha 1270

Rozmery 170 x 244 x 20

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: logika

Výpočtové a informačné technológie > Informatika > Umelá inteligencia