2012, ISBN: 9789401057813
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Luca Viganò is an assistant pro… Mehr…
booklooker.de |
2012, ISBN: 9789401057813
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Luca Viganò is an assistant pro… Mehr…
booklooker.de |
2012, ISBN: 9401057818
2000 Kartoniert / Broschiert Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Spri… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2012, ISBN: 9401057818
2000 Kartoniert / Broschiert Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Sprin… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2012, ISBN: 9789401057813
Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2012
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2012, ISBN: 9789401057813
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Luca Viganò is an assistant pro… Mehr…
Basin, David D Agostino, M. Gabbay, Dov M. Matthews, Seán Viganò, Luca:
Labelled Deduction - Taschenbuch2012, ISBN: 9789401057813
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Luca Viganò is an assistant pro… Mehr…
2012
ISBN: 9401057818
2000 Kartoniert / Broschiert Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Spri… Mehr…
2012, ISBN: 9401057818
2000 Kartoniert / Broschiert Künstliche Intelligenz, cognitivescience; computationallinguistics; linguistics; logic; modallogic; programming; Semantics, mit Schutzumschlag 11, [PU:Sprin… Mehr…
2012, ISBN: 9789401057813
Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2012
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Labelled Deduction
EAN (ISBN-13): 9789401057813
ISBN (ISBN-10): 9401057818
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer
Buch in der Datenbank seit 2014-10-10T19:45:04+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-06-24T22:29:20+02:00 (Berlin)
ISBN/EAN: 9789401057813
ISBN - alternative Schreibweisen:
94-010-5781-8, 978-94-010-5781-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: matthews, marcel david, gabb, dov gabbay, agostino, vigan, vigano
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: 2012-10-08
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XI, 267 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; cognitive science; computational linguistics; linguistics; logic; modal logic; programming; semantics; Logic; Artificial Intelligence; Künstliche Intelligenz; BB; EA
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...