- 5 Ergebnisse
Kleinster Preis: € 102,71, größter Preis: € 133,46, Mittelwert: € 122,59
1
Labelled Deduction (Applied Logic Series, 17, Band 17)
Bestellen
bei amazon.de
€ 102,71
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Labelled Deduction (Applied Logic Series, 17, Band 17) - gebunden oder broschiert

2000, ISBN: 9780792362371

Springer, Gebundene Ausgabe, Auflage: 2000, 278 Seiten, Publiziert: 2000-04-30T00:00:01Z, Produktgruppe: Buch, 2.8 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Informat… Mehr…

Versandkosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Books Around the World DE
zuklappen (X)
2
Labelled Deduction - Basin, David D Agostino, Marcello Gabbay, Dov M.
Bestellen
bei booklooker.de
€ 114,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Basin, David D Agostino, Marcello Gabbay, Dov M.:

Labelled Deduction - gebunden oder broschiert

2000, ISBN: 9780792362371

[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Luca Viganò is an assistant professor at the I… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
3
Labelled Deduction - Basin, David (Herausgeber); D'Agostino, M. (Herausgeber); Viganò, Luca (Herausgeber); Matthews, Seán (Herausgeber); Gabbay, Dov M. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 133,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Basin, David (Herausgeber); D'Agostino, M. (Herausgeber); Viganò, Luca (Herausgeber); Matthews, Seán (Herausgeber); Gabbay, Dov M. (Herausgeber):
Labelled Deduction - gebunden oder broschiert

2000

ISBN: 0792362373

2000 Gebundene Ausgabe Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Springer N… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Labelled Deduction - Basin, David (Herausgeber); D'Agostino, M. (Herausgeber); Viganò, Luca (Herausgeber); Matthews, Seán (Herausgeber); Gabbay, Dov M. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 133,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Basin, David (Herausgeber); D'Agostino, M. (Herausgeber); Viganò, Luca (Herausgeber); Matthews, Seán (Herausgeber); Gabbay, Dov M. (Herausgeber):
Labelled Deduction - gebunden oder broschiert

2000, ISBN: 0792362373

2000 Gebundene Ausgabe Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Springer Ne… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Labelled Deduction - David Basin; M. D'Agostino; Dov M. Gabbay; Sean Matthews; Luca Vigano
Bestellen
bei lehmanns.de
€ 128,39
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
David Basin; M. D'Agostino; Dov M. Gabbay; Sean Matthews; Luca Vigano:
Labelled Deduction - gebunden oder broschiert

2000, ISBN: 9780792362371

Buch, Hardcover, 2000 ed. [PU: Springer], Springer, 2000

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Labelled Deduction (Applied Logic Series, 17, Band 17)
Autor:
Titel:
ISBN-Nummer:

9780792362371


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.

Detailangaben zum Buch - Labelled Deduction (Applied Logic Series, 17, Band 17)


EAN (ISBN-13): 9780792362371
ISBN (ISBN-10): 0792362373
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Basin, David, D'Agostino, M. Gabbay, Dov M. Matthews, Seán, Viganò, Luca, Springer
284 Seiten
Gewicht: 0,572 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-09-24T00:24:38+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-12T19:13:00+02:00 (Berlin)
ISBN/EAN: 9780792362371

ISBN - alternative Schreibweisen:
0-7923-6237-3, 978-0-7923-6237-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: luca, vigano, matthews, marcel david, dov gabbay, agostino, vigan
Titel des Buches: labelled deduction, logic

Daten vom Verlag:

Autor/in: David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò
Titel: Applied Logic Series; Labelled Deduction
Verlag: Springer; Springer Netherland
267 Seiten
Erscheinungsjahr: 2000-04-30
Dordrecht; NL
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XI, 267 p.

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; cognitive science; computational linguistics; linguistics; logic; modal logic; programming; semantics; Logic; Artificial Intelligence; Künstliche Intelligenz; BC

Labelled Proof Systems for Intuitionistic Provability.- Normal Multimodal Logics with Interaction Axioms.- The SAT Problem of Signed CNF Formulas.- Discipline as Logic: Treating Labels as First Class Citizens.- Labelled Abduction.- Labelled Tableaux for Propositional Linear Time Logic over Finite Frames.- Fibred Modal Tableaux.- Labelled Deduction for the Guarded Fragment.- Semantics for Temporal Annotated Constraint Logic Programming.- Alessandra Raffaetà.- The Logic of Reusable Propositional Output with the Fulfilment Constraint.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789401140409 Labelled Deduction (David Basin; M. D'Agostino; Dov M. Gabbay; Sean Matthews; Luca Vigano)

< zum Archiv...