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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 06622611
Price: 107.29 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

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Silva de extravagancias Antonio Porpetta

Broschur

13.19 €

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

MP3

4.19 €

The Eminence in Shadow - Vol. 2

Blu-ray

60.89 €

Ostrov stratených stromov Elif Shafaková

Hardcover

21.19 €

Duše světa Roger Scruton

Broschur

13.79 €

Jsi bez hranic Katy Yaksha

Broschur

6.79 €

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

Broschur

11.59 €

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

Broschur

16.29 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Broschur

55.29 €

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

Broschur

64.39 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Broschur

71.69 €

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