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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.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.17 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.17 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Silva de extravagancias Antonio Porpetta

Brožovaná

12.44 €

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

Brožovaná

15.45 €

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg

Brožovaná

11.63 €

Analecta Hymnica Medii Aevi Guido Maria Dreves

Brožovaná

20.06 €

Duše světa Roger Scruton

Brožovaná

13.44 €

Red Line. Ausgabe ab 2014 - 7. Klasse, Schülerbuch. Bd.3 Frank Haß

Pevná

31.20 €

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

MP3

3.91 €

The Eminence in Shadow - Vol. 2

Blu-ray

32.52 €

Ostrov stratených stromov Elif Shafaková

Pevná

21.27 €

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

Brožovaná

61.01 €

Beastmaking NED FEEHALLY

Brožovaná

25.48 €

Jsi bez hranic Katy Yaksha

Brožovaná

6.82 €

Gotteslob Taschenausgabe Region Ost. Cabra-Leder, schwarz Bischöfe Deutschlands

Brožovaná

29.70 €

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

Brožovaná

10.53 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Brožovaná

68.14 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Brožovaná

52.68 €

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.