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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Labelled Deduction

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05250736

Verlag Springer, April 2000

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

Libristo-Code: 05250736

240 b

97.89 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Configurando o Hadoop 1.x Sarmento Neto Geraldo Abrantes

Broschur

42.69 €

Le Concordat entre Pie VII et Bonaparte Bernard Ardura

Broschur

16.59 €

Zielnik wyd. 3 Lisen Sundgren

Hardcover

11.19 €

Leuchte des Exils Hans Berkessel

Hardcover

17.90 €

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

Broschur

15.59 €

Lehrbuch der Experimentalphysik ADOLF W LLNER

Broschur

31.90 €

Toeplitz Centennial ohberg

Broschur

49.99 €

Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker

Broschur

58.00 €

Interreligioese Zeit-Gedanken Reinhard Kirste

Broschur

19.80 €

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 - Hardcover

Datum der Veröffentlichung 2000

Anzahl der Seiten 267

EAN 9780792362371

ISBN 0792362373

Libristo-Code 05250736

Verlag Springer

Gewicht 1270

Abmessungen 170 x 244 x 20

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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