Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 06622611
Price: 102.93 EUR
Availability: InStock
Author: David Basin
ISBN: 9789401057813

Sprache

Englisch

Buch Broschur

Libristo-Code: 06622611

Verlag Springer, Oktober 2012

Labelled deduction is an approach to providing frameworks for presenting and using different logics... Vollständige Beschreibung

Libristo-Code: 06622611

249 b

102.93 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Silva de extravagancias Antonio Porpetta

Broschur

12.63 €

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg

Broschur

11.72 €

Duše světa Roger Scruton

Broschur

13.13 €

The Eminence in Shadow - Vol. 2

Blu-ray

58.84 €

Ostrov stratených stromov Elif Shafaková

Hardcover

19.51 €

Analecta Hymnica Medii Aevi Guido Maria Dreves

Broschur

22.24 €

Jsi bez hranic Katy Yaksha

Broschur

6.87 €

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

Broschur

11.72 €

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

Broschur

29.82 €

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

Broschur

15.66 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Broschur

53.08 €

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

Broschur

61.47 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Labelled Deduction

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 267

EAN 9789401057813

ISBN 9789401057813

Libristo-Code 06622611

Verlag Springer

Gewicht 438

Abmessungen 155 x 235 x 16

Kategorie

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert