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: 06622611
Price: 102.78 EUR
Availability: InStock
Author: David Basin
ISBN: 9789401057813

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06622611

Nakladateľstvo Springer, október 2012

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

Libristo kód: 06622611

249 b

102.78 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Silva de extravagancias Antonio Porpetta

Brožovaná

12.71 €

16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt

MP3

3.93 €

The Eminence in Shadow - Vol. 2

Blu-ray

58.75 €

Ostrov stratených stromov Elif Shafaková

Pevná

17.36 €

Duše světa Roger Scruton

Brožovaná

11.90 €

Jsi bez hranic Katy Yaksha

Brožovaná

5.54 €

La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz

Brožovaná

10.59 €

Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO

Brožovaná

15.74 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Brožovaná

53.00 €

Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche

Brožovaná

61.38 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Brožovaná

68.85 €

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.