EUR 37,02
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 106 | Sprache: Englisch | Produktart: Sonstiges.
EUR 48,74
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
EUR 57,68
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
EUR 74,76
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 118.
EUR 90,01
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 106 pages. 9.25x6.20x0.25 inches. In Stock.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 98,84
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Verlag: London: J. & A. Churchill, 1899., 1899
Anbieter: Minster Gate Bookshop (est. 1970), YORK, Vereinigtes Königreich
Verbandsmitglied: PBFA
EUR 89,32
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSecond impression, 8vo., pp.viii,323, green cloth, gilt, decorative endpapers, ribbon bookmark, speckled edges; ex libris Dr. James Rutherford, Glasgow, with ownership bookplate to front paste-down endpaper, further (other) ownership blindstamp to front free endpaper, toning to edges/margins, light sunning to inner margin of front board, a little rubbing to extremities, a very good copy.
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes. 106 pp. Englisch.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 79,42
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. PRINT ON DEMAND pp. 118.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 76,66
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 118 16 Illus.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 46,22
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.